mathlib
18ada66c - feat(order/filter_at_top_bot): extraction lemmas (#7469)

Commit

4 years ago

feat(order/filter_at_top_bot): extraction lemmas (#7469) from the liquid tensor experiment

Author

PatrickMassot

Parents