Formula:2885

From MaRDI portal