Formula:6741

From MaRDI portal