Theorem List.Nodup.diff_eq_filter

Modification history

2024-10-04 03:33
Mathlib/Data/List/Nodup.lean
chore: bump toolchain to v4.13.0-rc2 (#17377) …
Modified List.Nodup.diff_eq_filterView on Github →
2023-01-10 18:23
Mathlib/Data/List/Nodup.lean
feat: port Mathlib.Data.List.Nodup (#1456)
Added List.Nodup.diff_eq_filterView on Github →