Misc
📁 Source: Batteries/Tactic/Lint/Misc.lean
Statistics
| Metric | Count |
|---|---|
| 11 | |
| Theorems | 0 |
| Total | 11 |
Batteries.Tactic.Lint
Definitions
| Name | Category | Theorems |
|---|---|---|
checkType 📖 | CompOp | — |
checkUnivs 📖 | CompOp | — |
defLemma 📖 | CompOp | — |
docBlame 📖 | CompOp | — |
docBlameThm 📖 | CompOp | — |
dupNamespace 📖 | CompOp | — |
explicitVarsOfIff 📖 | CompOp | — |
findUnusedHaves 📖 | CompOp | — |
synTaut 📖 | CompOp | — |
unusedArguments 📖 | CompOp | — |
unusedHavesSuffices 📖 | CompOp | — |
---