Formula:9890

From MaRDI portal