basic): add some lemmas (#8787)

Commit

4 years ago

feat(data/multiset/basic): add some lemmas (#8787) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

Ruben-VandeVelde

Parents