Formula:430

From MaRDI portal