Formula:6419

From MaRDI portal