ExtendedBinder
📁 Source: Batteries/Util/ExtendedBinder.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsextBinder, extBinderCollection, extBinderParenthesized, extBinders, «term∀ᵉ_,_», «term∃ᵉ_,_» | 6 |
| Theorems | 0 |
| Total | 6 |
Batteries.ExtendedBinder
Definitions
| Name | Category | Theorems |
|---|---|---|
extBinder 📖 | CompOp | — |
extBinderCollection 📖 | CompOp | — |
extBinderParenthesized 📖 | CompOp | — |
extBinders 📖 | CompOp | — |
«term∀ᵉ_,_» 📖 | CompOp | — |
«term∃ᵉ_,_» 📖 | CompOp | — |
---