Saturation

📁 Source: Cslib/Foundations/Data/Set/Saturation.lean

Statistics

Metric	Count
Definitions Saturates	1
Theorems saturates_compl, saturates_eq_biUnion	2
Total	3

Set

Definitions

Name	Category	Theorems
Saturates 📖	MathDef	2 math math: Cslib.Automata.NA.Buchi.buchiFamily_saturation, saturates_compl

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
saturates_compl 📖	mathematical	Saturates	Saturates	—	—
saturates_eq_biUnion 📖	—	Saturates	—	—	—

---

← Back to Index