PR #2274 chore(data/opposite): two trivial lemmas

chore(data/opposite): two trivial lemmas #2274

mergify merged 2 commits into master from op-eq-iff

chore(data/opposite): two trivial lemmas

75cef1fe

bryangingechen approved these changes on 2020-03-29

bryangingechen added ready-to-merge

Merge branch 'master' into op-eq-iff

0c5d96dc

mergify merged da8b23f9 into master 6 years ago

urkud deleted the op-eq-iff branch 6 years ago

Reviewers

bryangingechen

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone