Theorem Set.encard_le_of_subset

Modification history

2023-12-27 09:01

Mathlib/Data/Set/Card.lean

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

Deleted Set.encard_le_of_subset View on Github →

2023-08-02 02:18

Mathlib/Data/Set/Ncard.lean

feat(Data.Set.Ncard): enat set cardinality (#5908) …

Added Set.encard_le_of_subset View on Github →