Formula:7923

From MaRDI portal