Theorem list.nodup_erase_eq_filter
Modification history
2022-03-23 23:02
src/data/list/nodup.lean
chore(data/{lists,multiset}/*): More dot notation (#12876) …
Deleted list.nodup_erase_eq_filterView on Github →2020-06-02 00:43
src/data/list/nodup.lean
chore(*): split long lines (#2913)
Modified list.nodup_erase_eq_filterView on Github →