Theorem Set.ncard_image_of_injOn

Modification history

2026-01-31 14:53
Mathlib/Data/Set/Card.lean
chore: Rename ncard_image_of_injOn (#34589) …
Deleted Set.ncard_image_of_injOnView on Github →
2023-08-02 02:18
Mathlib/Data/Set/Ncard.lean
feat(Data.Set.Ncard): enat set cardinality (#5908) …
Modified Set.ncard_image_of_injOnView on Github →
2023-06-06 18:52
Mathlib/Data/Set/Ncard.lean
feat: port Data.Set.Ncard (#4591) …
Added Set.ncard_image_of_injOnView on Github →