Formula:5475

From MaRDI portal