Formula:5597

From MaRDI portal