Formula:4553

From MaRDI portal