Formula:9595

From MaRDI portal