Formula:9720

From MaRDI portal