Theorem Finset.two_lt_card_iff

Modification history

2024-10-17 15:41

Mathlib/Data/Finset/Card.lean

feat: `#s` as notation for `Finset.card s` (#17646) …

Modified Finset.two_lt_card_iff View on Github →

2023-01-16 16:20

Mathlib/Data/Finset/Card.lean

feat: port Data.Finset.Card (#1589)

Added Finset.two_lt_card_iff View on Github →