Formula:6452

From MaRDI portal