Formula:3152

From MaRDI portal