Formula:5412

From MaRDI portal