Formula:5491

From MaRDI portal