Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.union_mem_sup

Modification history

2020-07-31 17:41
src/order/filter/basic.lean
chore(*): assorted small lemmas (#3644)
Added filter.union_mem_supView on Github →