Mathlib v3 is deprecated. Go to Mathlib v4

Def fundamental_groupoid_functor.proj_right

Modification history

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.proj_rightView on Github →
2022-02-27 04:07
src/topology/homotopy/product.lean
feat(category_theory/category/Groupoid): Add coercion to sort (#12324) …
Modified fundamental_groupoid_functor.proj_rightView on Github →
2022-02-02 07:21
src/topology/homotopy/product.lean
feat(topology/homotopy): Fundamental groupoid preserves products (#11459)
Added fundamental_groupoid_functor.proj_rightView on Github →