NoMatch
📁 Source: Batteries/Tactic/NoMatch.lean
Statistics
| Metric | Count |
|---|---|
| 5 | |
| Theorems | 0 |
| Total | 5 |
Batteries.Tactic
Definitions
| Name | Category | Theorems |
|---|---|---|
funDot 📖 | CompOp | — |
introDot 📖 | CompOp | — |
lambdaDot 📖 | CompOp | — |
matchWithDot 📖 | CompOp | — |
«tacticMatch_,,With.» 📖 | CompOp | — |
---