Formula:5527

From MaRDI portal