Formula:374

From MaRDI portal