Theorem Set.encard_diff

Modification history

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