Theorem Finset.card_doubleton

Modification history

2024-01-04 01:46

Mathlib/Data/Finset/Card.lean

chore: rename Finset.card_doubleton to Finset.card_pair (#9379)

Deleted Finset.card_doubleton View on Github →

2023-01-16 16:20

Mathlib/Data/Finset/Card.lean

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

Added Finset.card_doubleton View on Github →