Formula:4554

From MaRDI portal