Formula:10132

From MaRDI portal