Mathlib Changelog
v4
Changelog
About
Github
Theorem
List.countP_diff
Modification history
2025-02-12 22:31
Mathlib/Data/List/Count.lean
feat(List/Count): add `countP_lt_length_iff` (#21774) …
Modified
List.countP_diff
View on Github →
2024-12-09 11:53
Mathlib/Data/List/Count.lean
feat(List): `count a (l₁.diff l₂) = count a l₁ - count a l₂` (#19778) …
Added
List.countP_diff
View on Github →