Formula:10135

From MaRDI portal