Formula:10553

From MaRDI portal