Formula:7395

From MaRDI portal