Formula:8179

From MaRDI portal