Formula:434

From MaRDI portal