Formula:9059

From MaRDI portal