Def continuous_map.homotopy.diagonal_path'

feat(topology/homotopy): Homotopic maps induce naturally isomorphic functors between fundamental groupoid (#11595)