A CONTRACTING HOMOTOPY FOR BARDZELL'S RESOLUTION (Q3625936)

From MaRDI portal