Formula:7579

From MaRDI portal