Formula:5874

From MaRDI portal