Formula:8638

From MaRDI portal