Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.reassoc_of

Modification history

2020-03-16 17:51
src/tactic/reassoc_axiom.lean
feat(tactic): command for adding tactic, command, and attribute documentation (#2114) …
Modified category_theory.reassoc_ofView on Github →
2019-10-24 06:28
src/tactic/reassoc_axiom.lean
chore(*): pass dup_namespace and def_lemma lint tests (#1599) …
Added category_theory.reassoc_ofView on Github →