Formula:3016

From MaRDI portal