Formula:5482

From MaRDI portal