Formula:7401

From MaRDI portal