Theorem multiset.singleton_coe
Modification history
2022-08-19 16:44
src/data/multiset/basic.lean
chore(data/multiset/basic): rename theorems, mark as `simp` (#15883) …
Deleted multiset.singleton_coeView on Github →2020-10-13 19:48
src/data/multiset/basic.lean
chore(multiset): dedicated notation for multiset.cons (#4600)
Modified multiset.singleton_coeView on Github →