Theorem multiset.nodup_of_nodup_cons
Modification history
2022-03-23 23:02
src/data/multiset/nodup.lean
chore(data/{lists,multiset}/*): More dot notation (#12876) …
Deleted multiset.nodup_of_nodup_consView on Github →2020-10-13 19:48
src/data/multiset/nodup.lean
chore(multiset): dedicated notation for multiset.cons (#4600)
Modified multiset.nodup_of_nodup_consView on Github →