Formula:110

From MaRDI portal