Formula:2852

From MaRDI portal