Mathlib Changelog
v4
Changelog
About
Github
Theorem
Multiset.nodup_map_iff_of_inj_on
Modification history
2025-03-04 07:48
Mathlib/Data/Multiset/MapFold.lean
chore(Data/Multiset): redistribute `Nodup` material (#22502) …
Modified
Multiset.nodup_map_iff_of_inj_on
View on Github →
2023-11-17 18:20
Mathlib/Data/Multiset/Nodup.lean
feat: add some Multiset.Nodup lemmas (#8464) …
Added
Multiset.nodup_map_iff_of_inj_on
View on Github →