Formula:5019

From MaRDI portal