mathlib3
1fbef63a - feat(order/filter): add two lemmas (#11519)

Commit

3 years ago

feat(order/filter): add two lemmas (#11519) Two easy lemmas (from the sphere eversion project) and some minor style changes.

Author

fpvandoorn

Parents