mathlib3
fix(category/fold): use correct `opposite`
#1008
Merged

fix(category/fold): use correct `opposite` #1008

mergify merged 1 commit into master from fix-opposite
rwbarton
rwbarton fix(category/fold): use correct `opposite`
832ee682
rwbarton rwbarton requested a review 6 years ago
cipher1024
rwbarton
rwbarton
cipher1024
cipher1024 approved these changes on 2019-05-11
cipher1024 cipher1024 added ready-to-merge
mergify mergify merged 6858c2f7 into master 6 years ago
mergify mergify deleted the fix-opposite branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone