Formula:6512

From MaRDI portal