Formula:5510

From MaRDI portal