Theorem List.subperm_iff_count

Modification history

2024-12-09 11:53
Mathlib/Data/List/Perm/Subperm.lean
feat(List): `count a (l₁.diff l₂) = count a l₁ - count a l₂` (#19778) …
Added List.subperm_iff_countView on Github →