Formula:7725

From MaRDI portal