Formula:3146

From MaRDI portal