Theorem Finset.exists_ne_map_eq_of_card_lt_of_maps_to
Modification history
2025-07-04 14:26
Mathlib/Data/Finset/Card.lean
chore(Finset/Card): cleanup section and improve documentation (#26373) …
Modified Finset.exists_ne_map_eq_of_card_lt_of_maps_toView on Github →