Formula:10392

From MaRDI portal