Commit 2023-03-27 16:13 25df7979

View on Github →

fix: restore mathlib3 definition of Multiset.count (#3088) Previously discussed in https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/count_eq_card_filter_eq

Estimated changes

modified theorem Multiset.coe_count
modified theorem Multiset.count_replicate