FLTSToLTS

📁 Source: Cslib/Foundations/Semantics/FLTS/FLTSToLTS.lean

Statistics

Metric	Count
Definitions instCoeLTS, toLTS	2
Theorems toLTS_deterministic, toLTS_imageFinite, toLTS_mtr, toLTS_tr	4
Total	6

Cslib.FLTS

Definitions

Name	Category	Theorems
instCoeLTS 📖	CompOp	—
toLTS 📖	CompOp	4 math math: toLTS_imageFinite, toLTS_mtr, toLTS_tr, toLTS_deterministic

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
toLTS_deterministic 📖	mathematical	—	Cslib.LTS.Deterministic toLTS	—	—
toLTS_imageFinite 📖	mathematical	—	Cslib.LTS.ImageFinite toLTS	—	Cslib.LTS.deterministic_imageFinite toLTS_deterministic
toLTS_mtr 📖	mathematical	—	Cslib.LTS.MTr toLTS mtr	—	—
toLTS_tr 📖	mathematical	—	Cslib.LTS.Tr toLTS tr	—	—

---

← Back to Index