Peel

📁 Source: Mathlib/Tactic/Peel.lean

Statistics

Metric	Count
Definitions applyPeelThm, mkFreshBinderName, peelArgs, peelArgsIff, peelCore, peelIffAux, peelUnbounded, quantifiers, throwPeelError, whnfQuantifier	10
Theorems	0
Total	10

Mathlib.Tactic.Peel

Definitions

Name	Category	Theorems
applyPeelThm 📖	CompOp	—
mkFreshBinderName 📖	CompOp	—
peelArgs 📖	CompOp	—
peelArgsIff 📖	CompOp	—
peelCore 📖	CompOp	—
peelIffAux 📖	CompOp	—
peelUnbounded 📖	CompOp	—
quantifiers 📖	CompOp	—
throwPeelError 📖	CompOp	—
whnfQuantifier 📖	CompOp	—

---

← Back to Index