Formula:142

From MaRDI portal