Formula:9370

From MaRDI portal