Theorem Set.ncard_pair

Modification history

2025-05-17 04:25

Mathlib/Data/Set/Card.lean

chore: improve simp set to prepare for improved simpNF linter (#24961)

Modified Set.ncard_pair View on Github →

2024-04-14 10:41

Mathlib/Data/Set/Card.lean

chore: remove autoImplicit from more files (#11798) …

Modified Set.ncard_pair View on Github →

2023-06-06 18:52

Mathlib/Data/Set/Ncard.lean

feat: port Data.Set.Ncard (#4591) …

Added Set.ncard_pair View on Github →