Formula:4543

From MaRDI portal