Commit 2019-07-05 17:03 05283d26
View on Github →fix(category_theory/limits): make is_limit a class, clean up proofs (#1187)
- feat(category_theory/limits): equivalences create limits
- equivalence lemma
- add @[simp]
- use right_adjoint_preserves_limits
- blech
- undo weird changes in topology files
- formatting
- do colimits too
- working!
- ?