RightCongruence

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

Statistics

Metric	Count
Definitions RightCongruence, eq, eqvCls	3
Theorems right_cov	1
Total	4

Cslib

Definitions

Name	Category	Theorems
RightCongruence 📖	CompData	—

Cslib.RightCongruence

Definitions

Name	Category	Theorems
eq 📖	CompOp	8 math math: Cslib.Automata.NA.Buchi.buchiFamily_saturation, Cslib.Automata.NA.Buchi.buchiCongruence_fin_index, Cslib.Automata.NA.Buchi.buchiFamily_cover, Cslib.Automata.DA.FinAcc.congr_language_eq, Cslib.Automata.NA.Buchi.buchiCongrParam_surjective, Cslib.Automata.DA.congr_mtr_eq, right_cov, Cslib.Automata.NA.Buchi.mem_buchiFamily
eqvCls 📖	CompOp	3 math math: Cslib.Language.IsRegular.congr_fin_index, Cslib.Automata.DA.FinAcc.congr_language_eq, Cslib.Automata.NA.Buchi.mem_buchiFamily

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
right_cov 📖	mathematical	—	eq	—	—

---

← Back to Index