Context

📁 Source: Cslib/Foundations/Syntax/Context.lean

Statistics

Metric	Count
Definitions HasContext, fill, «term_[_]»	3
Theorems	0
Total	3

Cslib

Definitions

Name	Category	Theorems
HasContext 📖	CompData	—
«term_[_]» 📖	CompOp	—

Cslib.HasContext

Definitions

Name	Category	Theorems
fill 📖	CompOp	3 math math: Cslib.Congruence.covariant, Cslib.CCS.Context.complete, Cslib.CCS.isContext_def

---

← Back to Index