Formula:5871

From MaRDI portal