Theorem List.count_cons'
Modification history
2024-10-04 11:14
Mathlib/Data/List/Count.lean
chore: Delete declarations deprecated in 2023 (#17193) …
Deleted List.count_cons'View on Github →2024-04-24 12:37
Mathlib/Data/List/Count.lean
chore(Data/List): add dates to all deprecated lemmas (#12337) …
Modified List.count_cons'View on Github →