Formula:10058

From MaRDI portal