Make isequiv_homotopic show up in [SearchAbout IsEquiv pointwise_paths]
Merge pull request #318 from JasonGross/isequiv-homotopic

Make isequiv_homotopic show up in [SearchAbout IsEquiv pointwise_paths]