Formula:7717

From MaRDI portal