Theorem Set.ncard_mono

Modification history

2023-12-27 09:01

Mathlib/Data/Set/Card.lean

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

Modified Set.ncard_mono View on Github →

2023-06-06 18:52

Mathlib/Data/Set/Ncard.lean

feat: port Data.Set.Ncard (#4591) …

Added Set.ncard_mono View on Github →