Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.reassoc_of

Modification history

2019-10-24 06:28
src/tactic/reassoc_axiom.lean
chore(*): pass dup_namespace and def_lemma lint tests (#1599) …
Deleted category_theory.reassoc_ofView on Github →
2019-10-22 06:42
src/tactic/reassoc_axiom.lean
feat(category_theory): add `reassoc` annotations (#1558) …
Added category_theory.reassoc_ofView on Github →