Make isequiv_homotopic show up in [SearchAbout IsEquiv pointwise_paths]