Context

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

Statistics

Metric	Count
Definitions HasContext, HasHContext, fill, «term_<[_]»	4
Theorems	0
Total	4

Cslib

Definitions

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

Cslib.HasHContext

Definitions

Name	Category	Theorems
fill 📖	CompOp	4 math math: Cslib.Congruence.covariant, Cslib.CCS.context_fill_def, Cslib.CCS.Context.complete, Cslib.CLL.Proposition.context_fill_def

---

← Back to Index