Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-06 20:05 8dc0393c

View on Github →

feat(data/multiset): adding two lemmas about singletons (#234)

Estimated changes

Modified data/multiset.lean

added theorem multiset.erase_dup_singleton

added theorem multiset.powerset_cons

added theorem multiset.powerset_zero

added theorem multiset.repeat_one

added theorem multiset.repeat_succ

added theorem multiset.repeat_zero