Formula:3513

From MaRDI portal