mathlib
ee398b66 - feat(algebra/floor): prove `⌈x⌉ ≤ ⌊x⌋ + 1` (#1568)

Commit

6 years ago

feat(algebra/floor): prove `⌈x⌉ ≤ ⌊x⌋ + 1` (#1568)

References

#1568 - feat(algebra/floor): prove `⌈x⌉ ≤ ⌊x⌋ + 1`

Author

urkud

urkud

Committer

mergify[bot]

mergify[bot]

Parents

Loading