Tricky Math In Homotopy Equivalence