Formula:9827

From MaRDI portal