Formula:2862

From MaRDI portal