Formula:7722

From MaRDI portal