Use

📁 Source: Mathlib/Tactic/Use.lean

Statistics

Metric	Count
Definitions applyTheConstructor, mkUseDischarger, runUse, tacticUse_discharger, useLoop, useSyntax, «tacticUse!___,,»	7
Theorems	0
Total	7

Mathlib.Tactic

Definitions

Name	Category	Theorems
applyTheConstructor 📖	CompOp	—
mkUseDischarger 📖	CompOp	—
runUse 📖	CompOp	—
tacticUse_discharger 📖	CompOp	—
useLoop 📖	CompOp	—
useSyntax 📖	CompOp	—
«tacticUse!___,,» 📖	CompOp	—

---

← Back to Index