Formula:5052

From MaRDI portal