Formula:5444

From MaRDI portal