Split

📁 Source: Aesop/BuiltinRules/Split.lean

Statistics

Metric	Count
Definitions splitHypotheses, splitHypothesesCore, splitTarget	3
Theorems	0
Total	3

Aesop.BuiltinRules

Definitions

Name	Category	Theorems
splitHypotheses 📖	CompOp	—
splitHypothesesCore 📖	CompOp	—
splitTarget 📖	CompOp	—

---

← Back to Index