Formula:4229

From MaRDI portal