Congr
📁 Source: Batteries/Tactic/Congr.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsConfig, closePost, closePre, elabConfig, congrConfig, congrConfigWith, rcongr, rcongrCore | 8 |
| Theorems | 0 |
| Total | 8 |
Batteries.Tactic
Definitions
| Name | Category | Theorems |
|---|---|---|
congrConfig 📖 | CompOp | — |
congrConfigWith 📖 | CompOp | — |
rcongr 📖 | CompOp | — |
rcongrCore 📖 | CompOp | — |
Batteries.Tactic.Congr
Definitions
| Name | Category | Theorems |
|---|---|---|
Config 📖 | CompData | — |
elabConfig 📖 | CompOp | — |
Batteries.Tactic.Congr.Config
Definitions
| Name | Category | Theorems |
|---|---|---|
closePost 📖 | CompOp | — |
closePre 📖 | CompOp | — |
---