Commit 2020-11-06 16:08 bddc5c9e
View on Github →feat(category_theory/limits): equivalence creates colimits (#4923) Dualises and tidy proofs already there
feat(category_theory/limits): equivalence creates colimits (#4923) Dualises and tidy proofs already there