Formula:6428

From MaRDI portal