basic): add map_count_true_eq_filter_card (#11306)

Commit

4 years ago

feat(data/multiset/basic): add map_count_true_eq_filter_card (#11306) Add a lemma about counting over a map. Spun off of #10888.

Author

BoltonBailey

Parents