PersistentHashSet
📁 Source: Batteries/Lean/PersistentHashSet.lean
Statistics
| Metric | Count |
|---|---|
Definitionsall, allM, any, anyM, insertMany, instBEq_batteries, instForInOfMonad_batteries, merge, ofArray, ofList | 10 |
| Theorems | 0 |
| Total | 10 |
Lean.PersistentHashSet
Definitions
| Name | Category | Theorems |
|---|---|---|
all 📖 | CompOp | — |
allM 📖 | CompOp | — |
any 📖 | CompOp | — |
anyM 📖 | CompOp | — |
insertMany 📖 | CompOp | — |
instBEq_batteries 📖 | CompOp | — |
instForInOfMonad_batteries 📖 | CompOp | — |
merge 📖 | CompOp | — |
ofArray 📖 | CompOp | — |
ofList 📖 | CompOp | — |
---