mathlib3
feat(data/rat): add lt, le, and eq def lemmas, move casts into rat to basic
#1348

Merged

feat(data/rat): add lt, le, and eq def lemmas, move casts into rat to basic #1348

mergify merged 4 commits into master from kappelmann_rat

kappelmann requested a review 6 years ago

kappelmann force pushed from abdea494 to d4a86ef9 6 years ago

kappelmann force pushed from d4a86ef9 to 44a32442 6 years ago

cipher1024 assigned

digama0 6 years ago

digama0 approved these changes on 2019-08-21

feat(data/rat): add lt, le, and eq def lemmas, move casts into rat to…

874705a6

kappelmann force pushed from 44a32442 to 874705a6 6 years ago

Merge branch 'master' into kappelmann_rat

8b006667

Merge branch 'master' into kappelmann_rat

4b82aca7

Merge branch 'master' into kappelmann_rat

96488ac8

fpvandoorn added ready-to-merge

mergify merged 914c572e into master 6 years ago

mergify deleted the kappelmann_rat branch 6 years ago

Reviewers

digama0

Assignees

digama0

Labels

ready-to-merge

Milestone

No milestone