Formula:7337

From MaRDI portal