Formula:10554

From MaRDI portal