WLOG
📁 Source: Mathlib/Tactic/WLOG.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsWLOGResult, hypothesisFVarId, hypothesisGoal, reductionFVarIds, reductionGoal, revertedFVarIds, wlog!, wlogCore | 8 |
| Theorems | 0 |
| Total | 8 |
Mathlib.Tactic
Definitions
| Name | Category | Theorems |
|---|---|---|
WLOGResult 📖 | CompData | — |
wlog! 📖 | CompOp | — |
wlogCore 📖 | CompOp | — |
Mathlib.Tactic.WLOGResult
Definitions
| Name | Category | Theorems |
|---|---|---|
hypothesisFVarId 📖 | CompOp | — |
hypothesisGoal 📖 | CompOp | — |
reductionFVarIds 📖 | CompOp | — |
reductionGoal 📖 | CompOp | — |
revertedFVarIds 📖 | CompOp | — |
---