Formula:1047

From MaRDI portal