mathlib3
fix(category/fold): use correct `opposite`
#1008
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
fix(category/fold): use correct `opposite`
#1008
mergify
merged 1 commit into
master
from
fix-opposite
fix(category/fold): use correct `opposite`
832ee682
rwbarton
requested a review
6 years ago
cipher1024
approved these changes on 2019-05-11
cipher1024
added
ready-to-merge
mergify
merged
6858c2f7
into master
6 years ago
mergify
deleted the fix-opposite branch
6 years ago
Login to write a write a comment.
Login via GitHub
Reviewers
cipher1024
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub