Formula:2956

From MaRDI portal