mathlib3
feat(tactic/reassoc_axiom): produces associativity-friendly lemmas in category theory
#1341

Merged

feat(tactic/reassoc_axiom): produces associativity-friendly lemmas in category theory #1341

cipher1024 merged 3 commits into master from cat-reassoc

feat(tactic/reassoc_axiom): produces associativity-friendly lemmas in

411d6db9

cipher1024 requested a review from

rwbarton 7 years ago

cipher1024 requested a review from

kim-em 7 years ago

cipher1024 requested a review 7 years ago

kim-em commented on 2019-08-18

improve docs

4b9bdaaa

Merge branch 'master' into cat-reassoc

76bb62eb

cipher1024 merged 6fbcc04a into master 7 years ago

cipher1024 deleted the cat-reassoc branch 7 years ago

Reviewers

kim-em

rwbarton

Assignees

No one assigned

Labels

None yet

Milestone

No milestone