NatAntidiagonal
📁 Source: Mathlib/Data/List/NatAntidiagonal.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 8 | |
| Total | 8 |
List.Nat
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
antidiagonal_succ 📖 | mathematical | — | antidiagonal | — | — |
antidiagonal_succ' 📖 | mathematical | — | antidiagonal | — | — |
antidiagonal_succ_succ' 📖 | mathematical | — | antidiagonal | — | antidiagonal_succ'antidiagonal_succ |
antidiagonal_zero 📖 | mathematical | — | antidiagonal | — | — |
length_antidiagonal 📖 | mathematical | — | antidiagonal | — | antidiagonal.eq_1 |
map_swap_antidiagonal 📖 | mathematical | — | antidiagonal | — | antidiagonal.eq_1 |
mem_antidiagonal 📖 | mathematical | — | antidiagonal | — | — |
nodup_antidiagonal 📖 | mathematical | — | antidiagonal | — | List.Nodup.map |
---