feat (Order/Interval/Finset/Floor): Relating membership of an Int or Nat cast in intervals to intervals of floor and ceil functions#41512

teorth wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

teorth:floor-interval-memteorth/mathlib4:floor-interval-memCopy head branch name to clipboard