Theorem Set.encard_diff

Modification history

2026-06-09 08:51

Mathlib/Data/Set/Card.lean

chore: rename `diff` to `sdiff` (#40184) …

Deleted Set.encard_diff View on Github →

2025-11-04 20:26

Mathlib/Data/Set/Card.lean

feat(Set): helper lemmas about set cardinality (#29833) …

Added Set.encard_diff View on Github →