1 problem

Homotopy equivalence conjecture. The maps $l^\pm_V(p)$ are homotopy equivalences of ${\cal I}$-filtered spaces.