Formula:9884

From MaRDI portal