Except
📁 Source: Batteries/Lean/Except.lean
Statistics
| Metric | Count |
|---|---|
| 4 | |
| 8 | |
| Total | 12 |
Except
Definitions
| Name | Category | Theorems |
|---|---|---|
emoji 📖 | CompOp | — |
pmap 📖 | CompOp |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
map_error 📖 | — | — | — | — | — |
map_ok 📖 | — | — | — | — | — |
map_pmap 📖 | mathematical | — | pmap | — | — |
pmap_error 📖 | mathematical | — | pmap | — | — |
pmap_id 📖 | mathematical | — | pmap | — | — |
pmap_ok 📖 | mathematical | — | pmap | — | — |
ExceptT
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
map_mk 📖 | — | — | — | — | — |
mk_run 📖 | — | — | — | — | — |
(root)
Definitions
| Name | Category | Theorems |
|---|---|---|
instDecidableEqExcept_batteries 📖 | CompOp | — |
instDecidableEqExcept_batteries
Definitions
| Name | Category | Theorems |
|---|---|---|
decEq 📖 | CompOp | — |
---