Formula:6527

From MaRDI portal