basic): countp and count lemmas (#14108)

Commit

3 years ago

feat(data/list/{count,perm},data/multiset/basic): countp and count lemmas (#14108) Co-authored-by: Arjun Pitchanathan <arjunpitchanathan@gmail.com>

Author

kmill

Parents