Formula:2962

From MaRDI portal