Formula:10217

From MaRDI portal