Union

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

Statistics

Metric	Count
Definitions inl, inr, union, unionSubtype, unionSum	5
Theorems	0
Total	5

Cslib.LTS

Definitions

Name	Category	Theorems
inl 📖	CompOp	—
inr 📖	CompOp	—
union 📖	CompOp	—
unionSubtype 📖	CompOp	—
unionSum 📖	CompOp	—

---

← Back to Index