basic): add lemma that `multiset.map f` preserves `count` under certain assumptions on `f` (#9117)

Commit

4 years ago

feat(data/multiset/basic): add lemma that `multiset.map f` preserves `count` under certain assumptions on `f` (#9117)

Author

Paul-Lez

Parents