Formula:6444

From MaRDI portal