SplitLastSeq
📁 Source: MRiscX/Tactics/SplitLastSeq.lean
Statistics
| Metric | Count |
|---|---|
| 13 | |
| Theorems | 0 |
| Total | 13 |
(root)
Definitions
| Name | Category | Theorems |
|---|---|---|
buildL_w'FromExpr 📖 | CompOp | — |
calcRExprDefault 📖 | CompOp | — |
extractL_w'AndL_b'' 📖 | CompOp | — |
extractQ 📖 | CompOp | — |
findHypTypeM 📖 | CompOp | — |
findHypTypeM? 📖 | CompOp | — |
getExprOfInstForR 📖 | CompOp | — |
getNeSet 📖 | CompOp | — |
getStateExpr 📖 | CompOp | — |
incPcExpr 📖 | CompOp | — |
mkSingletonOf 📖 | CompOp | — |
tacticPeel_last_instr 📖 | CompOp | — |
typeSetUInt64 📖 | CompOp | — |
---