Sum

📁 Source: Cslib/Computability/Automata/NA/Sum.lean

Statistics

Metric	Count
Definitions iSum	1
Theorems iSum_language_eq, iSum_run_iff	2
Total	3

Cslib.Automata.NA

Definitions

Name	Category	Theorems
iSum 📖	CompOp	2 math math: iSum_run_iff, Buchi.iSum_language_eq

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
iSum_run_iff 📖	mathematical	—	Run iSum Cslib.ωSequence.map	—	Cslib.ωSequence.ext

Cslib.Automata.NA.Buchi

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
iSum_language_eq 📖	mathematical	—	Cslib.Automata.ωAcceptor.language Cslib.Automata.NA.Buchi instωAcceptor Cslib.Automata.NA.iSum Cslib.ωSequence	—	Cslib.ωLanguage.ext

---

← Back to Index