HasAlphaEquiv

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

Statistics

Metric	Count
Definitions HasAlphaEquiv, AlphaEquiv, «term_=α_»	3
Theorems	0
Total	3

Cslib

Definitions

Name	Category	Theorems
HasAlphaEquiv 📖	CompData	—
«term_=α_» 📖	CompOp	—

Cslib.HasAlphaEquiv

Definitions

Name	Category	Theorems
AlphaEquiv 📖	MathDef	—

---

← Back to Index