Formula:8330

From MaRDI portal