Formula:7358

From MaRDI portal