Formula:9825

From MaRDI portal