Formula:8959

From MaRDI portal