Commit 2019-07-05 05:31 27ae77cd
View on Github →feat(tactic/tidy): lower the priority of ext in tidy (#1178)
- feat(category_theory/adjunction): additional simp lemmas
- experimenting with deferring ext in tidy
- abbreviate some proofs
- refactoring CommRing/adjunctions
- renaming