Formula:3477

From MaRDI portal