Formula:10386

From MaRDI portal