Relation

📁 Source: Cslib/Foundations/Semantics/LTS/Relation.lean

Statistics

Metric	Count
Definitions toRelation, toLTS, toRelation, instTransToRelationHAppendList, instTransToRelationToRelationCons, instTransToRelationToRelationConsNil, instTransToRelationToRelationHAppendListConsNil	7
Theorems	0
Total	7

Cslib.LTS

Definitions

Name	Category	Theorems
instTransToRelationHAppendList 📖	CompOp	—
instTransToRelationToRelationCons 📖	CompOp	—
instTransToRelationToRelationConsNil 📖	CompOp	—
instTransToRelationToRelationHAppendListConsNil 📖	CompOp	—

Cslib.LTS.MTr

Definitions

Name	Category	Theorems
toRelation 📖	MathDef	—

Cslib.LTS.Relation

Definitions

Name	Category	Theorems
toLTS 📖	CompOp	—

Cslib.LTS.Tr

Definitions

Name	Category	Theorems
toRelation 📖	MathDef	—

---

← Back to Index