Formula:7335

From MaRDI portal