mathlib3

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

feat(algebra/floor): Split floor from archimedean file. (#1372) * feat(algebra/floor): Split floor from archimedean file. * feat({algebra,rat}/floor): move lemmas/defs from rat.floor to algebra.floor