# 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