Formula:10054

From MaRDI portal