Formula:7127

From MaRDI portal