Formula:7575

From MaRDI portal