Theorem List.nodup_iff_count_eq_one

Modification history

2025-11-24 11:02
Mathlib/Data/List/Nodup.lean
chore(Data/List): reduce imports (#31643) …
Modified List.nodup_iff_count_eq_oneView on Github →
2023-11-17 18:20
Mathlib/Data/List/Nodup.lean
feat: add some Multiset.Nodup lemmas (#8464) …
Added List.nodup_iff_count_eq_oneView on Github →