Formula:4714

From MaRDI portal