Formula:10378

From MaRDI portal