Formula:9892

From MaRDI portal