mathlib3
e729ab4a - feat(analysis/specific_limits): limit of nat_floor (a * x) / x (#8549)

Commit

4 years ago

feat(analysis/specific_limits): limit of nat_floor (a * x) / x (#8549)

Author

sgouezel

sgouezel

Parents

Loading