lemma for transporting pointed functions over an equivalence in the codomain