Formula:6541

From MaRDI portal