Theorem Multiset.nodup_map_iff_of_inj_on

Modification history

2023-11-17 18:20
Mathlib/Data/Multiset/Nodup.lean
feat: add some Multiset.Nodup lemmas (#8464) …
Added Multiset.nodup_map_iff_of_inj_onView on Github →