Formula:5408

From MaRDI portal