Formula:7964

From MaRDI portal