basic): Multiset induction lemma (#6623)

Commit

4 years ago

feat(data/multiset/basic): Multiset induction lemma (#6623) This is the multiset analog of `finset.induction_on'`

Author

tb65536

Parents