Theorem Finset.exists_mem_not_mem_of_card_lt_card

Modification history

2025-05-25 12:30
Mathlib/Data/Finset/Card.lean
chore(*): not_mem/nmem -> notMem (#25159)
Deleted Finset.exists_mem_not_mem_of_card_lt_cardView on Github →
2025-04-07 04:49
Mathlib/Data/Finset/Card.lean
chore: tidy various files (#23665)
Modified Finset.exists_mem_not_mem_of_card_lt_cardView on Github →
2025-03-21 12:44
Mathlib/Data/Finset/Card.lean
feat(Data/Finset/Card): add `exists_mem_not_mem_of_card_lt_card` (#23172) …
Added Finset.exists_mem_not_mem_of_card_lt_cardView on Github →