HelpCmd

📁 Source: Batteries/Tactic/HelpCmd.lean

Statistics

Metric	Count
Definitions «command#help_AttrAttribute___», «command#help_Cat+______», «command#help_Cats___», «command#help_Command+____», «command#help_Conv+____», «command#help_Note___», «command#help_Option___», «command#help_Tactic+____», «command#help_Term+____»	9
Theorems	0
Total	9

Batteries.Tactic

Definitions

Name	Category	Theorems
«command#help_AttrAttribute___» 📖	CompOp	—
«command#help_Cat+______» 📖	CompOp	—
«command#help_Cats___» 📖	CompOp	—
«command#help_Command+____» 📖	CompOp	—
«command#help_Conv+____» 📖	CompOp	—
«command#help_Note___» 📖	CompOp	—
«command#help_Option___» 📖	CompOp	—
«command#help_Tactic+____» 📖	CompOp	—
«command#help_Term+____» 📖	CompOp	—

---

← Back to Index