BuchiEquiv

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

Statistics

Metric	Count
Definitions reindex	1
Theorems reindex_language_eq, reindex_run_iff, reindex_run_iff'	3
Total	4

Cslib.Automata.NA.Buchi

Definitions

Name	Category	Theorems
reindex 📖	CompOp	3 math math: reindex_run_iff', reindex_language_eq, reindex_run_iff

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
reindex_language_eq 📖	mathematical	—	Cslib.Automata.ωAcceptor.language Cslib.Automata.NA.Buchi instωAcceptor reindex	—	Cslib.ωLanguage.ext
reindex_run_iff 📖	mathematical	—	Cslib.Automata.NA.Run toNA Cslib.Automata.NA.Buchi reindex Cslib.ωSequence.map	—	—
reindex_run_iff' 📖	mathematical	—	Cslib.Automata.NA.Run toNA Cslib.Automata.NA.Buchi reindex Cslib.ωSequence.map	—	—

---

← Back to Index