Formula:5167

From MaRDI portal