Theorem Finset.card_congr

Modification history

2024-05-26 11:25

Mathlib/Data/Finset/Card.lean

feat: More ways of bijecting finsets (#12653) …

Deleted Finset.card_congr View on Github →

2023-01-16 16:20

Mathlib/Data/Finset/Card.lean

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

Added Finset.card_congr View on Github →