mathlib3
feat(*): assorted simple lemmas, simplify some proofs
#1895

Merged

feat(*): assorted simple lemmas, simplify some proofs #1895

mergify merged 2 commits into master from assorted-lemmas

feat(*): assorted simple lemmas, simplify some proofs

f7e9d1dd

+1 lemma, +1 simplified proof

9f910574

urkud added awaiting-review

sgouezel removed awaiting-review

sgouezel added ready-to-merge

sgouezel approved these changes on 2020-01-21

mergify merged f3835fab into master 6 years ago

mergify deleted the assorted-lemmas branch 6 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone