mathlib
bddc5c9e - feat(category_theory/limits): equivalence creates colimits (#4923)

Commit

5 years ago

feat(category_theory/limits): equivalence creates colimits (#4923) Dualises and tidy proofs already there

Author

b-mehta

Parents