Formula:7665

From MaRDI portal