BuchiCongruence

📁 Source: Cslib/Computability/Languages/Congruences/BuchiCongruence.lean

Statistics

Metric	Count
Definitions BuchiCongrParam, BuchiCongruence	2
Theorems buchiCongrParam_surjective, buchiCongruence_fin_index	2
Total	4

Cslib.Automata.NA.Buchi

Definitions

Name	Category	Theorems
BuchiCongrParam 📖	CompOp	1 math math: buchiCongrParam_surjective
BuchiCongruence 📖	CompOp	2 math math: buchiCongruence_fin_index, buchiCongrParam_surjective

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
buchiCongrParam_surjective 📖	mathematical	—	Cslib.RightCongruence.eq BuchiCongruence BuchiCongrParam	—	—
buchiCongruence_fin_index 📖	mathematical	—	Cslib.RightCongruence.eq BuchiCongruence	—	buchiCongrParam_surjective

---

← Back to Index