Formula:7670

From MaRDI portal