Formula:9638

From MaRDI portal