Formula:443

From MaRDI portal