Formula:5166

From MaRDI portal