mathlib3
feat(algebra/floor): Split floor from archimedean file.
#1372

Merged

feat(algebra/floor): Split floor from archimedean file. #1372

mergify merged 3 commits into master from kappelmann_floor

kappelmann requested a review 6 years ago

kappelmann force pushed from 6b5c3cad to 6d018661 6 years ago

kappelmann force pushed from 6d018661 to 1f494f67 6 years ago

fpvandoorn commented on 2019-09-03

kappelmann force pushed from dd812c64 to 52fe40a6 6 years ago

fpvandoorn assigned

fpvandoorn 6 years ago

feat(algebra/floor): Split floor from archimedean file.

f4cfa0ce

feat({algebra,rat}/floor): move lemmas/defs from rat.floor to algebra…

453ba641

kappelmann force pushed from 95eed653 to 453ba641 6 years ago

ChrisHughes24 approved these changes on 2019-09-08

ChrisHughes24 added ready-to-merge

Merge branch 'master' into kappelmann_floor

d2742278

mergify merged 313fe11b into master 6 years ago

mergify deleted the kappelmann_floor branch 6 years ago

Reviewers

ChrisHughes24

fpvandoorn

Assignees

fpvandoorn

Labels

ready-to-merge

Milestone

No milestone