Formula:8631

From MaRDI portal