Formula:5325

From MaRDI portal