Formula:7057

From MaRDI portal