Formula:3802

From MaRDI portal