Formula:7671

From MaRDI portal