Formula:6503

From MaRDI portal