Theorem multiset.erase_cons_tail
Modification history
2021-01-30 14:50
src/data/multiset/basic.lean
chore(*): split some long lines (#5959)
Modified multiset.erase_cons_tailView on Github →2020-10-13 19:48
src/data/multiset/basic.lean
chore(multiset): dedicated notation for multiset.cons (#4600)
Modified multiset.erase_cons_tailView on Github →