mathlib
6d29b2c8 - feat(order/cover): Covby iff Ioo empty (#17567)

Commit

3 years ago

feat(order/cover): Covby iff Ioo empty (#17567) Dependency of #17403. Co-authored-by: MadPidgeon <daanvangent@gmail.com>

Author

MadPidgeon

Parents