Commit 2019-10-22 06:42 2b98d47a
View on Github →feat(category_theory): add reassoc
annotations (#1558)
- feat(category_theory): add
reassoc
annotations - Update reassoc_axiom.lean
- Update src/tactic/reassoc_axiom.lean Co-Authored-By: Scott Morrison scott@tqft.net
- Update src/tactic/reassoc_axiom.lean Co-Authored-By: Scott Morrison scott@tqft.net
- Update src/tactic/reassoc_axiom.lean Co-Authored-By: Scott Morrison scott@tqft.net
- Update src/tactic/reassoc_axiom.lean
- Update src/tactic/reassoc_axiom.lean
- Update reassoc_axiom.lean
- Update tactics.lean
- Update tactics.md
- Update reassoc_axiom.lean