Case
📁 Source: Batteries/Tactic/Case.lean
Statistics
| Metric | Count |
|---|---|
DefinitionscasePatt, casePatt', casePattArg, casePattBody, casePattExpr, casePattTac, evalCase, findGoalOfPatt, processCasePattBody | 9 |
| Theorems | 0 |
| Total | 9 |
Batteries.Tactic
Definitions
| Name | Category | Theorems |
|---|---|---|
casePatt 📖 | CompOp | — |
casePatt' 📖 | CompOp | — |
casePattArg 📖 | CompOp | — |
casePattBody 📖 | CompOp | — |
casePattExpr 📖 | CompOp | — |
casePattTac 📖 | CompOp | — |
evalCase 📖 | CompOp | — |
findGoalOfPatt 📖 | CompOp | — |
processCasePattBody 📖 | CompOp | — |
---