Formula:6052

From MaRDI portal