Theorem Set.encard_ne_zero_of_mem

Modification history

2025-11-04 20:26
Mathlib/Data/Set/Card.lean
feat(Set): helper lemmas about set cardinality (#29833) …
Added Set.encard_ne_zero_of_memView on Github →