mathlib
65598321 - feat(order/filter/lift): a few lemmas about `filter.lift' _ powerset` (#3652)

Commit

5 years ago

feat(order/filter/lift): a few lemmas about `filter.lift' _ powerset` (#3652)

Author

urkud

urkud

Parents

Loading