Language
📁 Source: Cslib/Computability/Languages/Language.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 10 | |
| Total | 10 |
Language
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
kstar_iff_mul_add 📖 | — | — | — | — | sub_one_kstar |
kstar_sub_one 📖 | — | — | — | — | — |
le_one_iff_eq 📖 | — | — | — | — | — |
mem_biInf 📖 | — | — | — | — | — |
mem_biSup 📖 | — | — | — | — | — |
mem_sub_one 📖 | — | — | — | — | — |
mul_sub_one 📖 | — | — | — | — | reverse_subsub_one_mul |
reverse_sub 📖 | — | — | — | — | — |
sub_one_kstar 📖 | — | — | — | — | — |
sub_one_mul 📖 | — | — | — | — | — |
---