Except
📁 Source: Batteries/Lean/Except.lean
Statistics
| Metric | Count |
|---|---|
| 2 | |
| 8 | |
| Total | 10 |
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 📖 | — | — | — | — | — |
---