Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.mem_of_countable_Inter

Modification history

2022-01-28 13:31
src/order/filter/countable_Inter.lean
feat(order/filter/countable_Inter): review (#11673) …
Added filter.mem_of_countable_InterView on Github →