mathlib3
d0b7ecc9 - refactor(analysis/asymptotics): rename `is_O.join` to `is_O.sup` (#14558)

Commit

3 years ago

refactor(analysis/asymptotics): rename `is_O.join` to `is_O.sup` (#14558) * rename `is_*.join` to `is_*.sup`; * add `iff` versions.

Author

urkud

Parents