Mathlib Changelog
v3
Changelog
About
Github
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_of
View 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_of
View on Github →