Formula:9445

From MaRDI portal