Explode

📁 Source: Mathlib/Tactic/Explode.lean

Statistics

Metric	Count
Definitions explode, explodeCore, «command#explode_»	3
Theorems	0
Total	3

Mathlib.Explode

Definitions

Name	Category	Theorems
explode 📖	CompOp	—
explodeCore 📖	CompOp	—
«command#explode_» 📖	CompOp	—

---

← Back to Index