Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_lower_set.not_bot_mem

Modification history

2022-07-08 02:55
src/order/upper_lower.lean
feat(combinatorics/set_family/intersecting): Intersecting families (#14475) …
Added is_lower_set.not_bot_memView on Github →