Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-07 15:42 26179ccd

View on Github →

feat(data/list): add some lemmas. (#11879)

Estimated changes

Modified src/data/list/basic.lean

added theorem list.filter_length_eq_length

Modified src/data/list/count.lean

added theorem list.count_eq_length

added theorem list.countp_eq_length