Theorem Finset.card_mono

Modification history

2023-12-27 09:01

Mathlib/Data/Finset/Card.lean

chore: Improve `Finset` lemma names (#8894) …

Modified Finset.card_mono View on Github →

2023-01-16 16:20

Mathlib/Data/Finset/Card.lean

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

Added Finset.card_mono View on Github →