Formula:9566

From MaRDI portal