Mathlib v3 is deprecated. Go to Mathlib v4

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

Estimated changes