Formula:7716

From MaRDI portal