Count
📁 Source: Mathlib/Data/List/Count.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 6 | |
| Total | 6 |
List
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
countP_diff 📖 | — | — | — | — | — |
countP_erase 📖 | — | — | — | — | — |
countP_lt_length_iff 📖 | — | — | — | — | — |
count_diff 📖 | — | — | — | — | — |
count_lt_length_iff 📖 | — | — | — | — | — |
count_map_of_injective 📖 | — | — | — | — | Function.Injective.beq_eq |
---