Saturation
📁 Source: Cslib/Foundations/Data/Set/Saturation.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsSaturates | 1 |
| 2 | |
| Total | 3 |
Set
Definitions
| Name | Category | Theorems |
|---|---|---|
Saturates 📖 | MathDef | — |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
saturates_compl 📖 | — | Saturates | — | — | — |
saturates_eq_biUnion 📖 | — | Saturates | — | — | — |
---