Formula:4473

From MaRDI portal