Theorem Multiset.countP_true

Modification history

2026-10-27 14:54
Mathlib/Data/Multiset/Count.lean
chore: decapitalize `True`/`False` in theorem names (#45349) …
Added Multiset.countP_trueView on Github →