Formula:9110

From MaRDI portal