Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-23 08:49 2cfa052b

View on Github →

feat(data/list/count): countp of true and false (#10986)

Estimated changes

Modified src/data/list/count.lean

added theorem list.countp_false

added theorem list.countp_true