Formula:7638

From MaRDI portal