Formula:5752

From MaRDI portal