2022-03-14 11:12
src/algebraic_topology/fundamental_groupoid/product.lean
chore(topology/homotopy): Move more algebraic-flavored content about fundamental groupoid to algebraic_topology folder (#12631) …
Modified fundamental_groupoid_functor.cone_discrete_comp_obj_map_cone