Formula:2855

From MaRDI portal