Inhabit

📁 Source: Mathlib/Tactic/Inhabit.lean

Statistics

Metric	Count
Definitions evalInhabit, inhabit, nonempty_prop_to_inhabited, nonempty_to_inhabited	4
Theorems	0
Total	4

Lean.Elab.Tactic

Definitions

Name	Category	Theorems
evalInhabit 📖	CompOp	—
inhabit 📖	CompOp	—
nonempty_prop_to_inhabited 📖	CompOp	—
nonempty_to_inhabited 📖	CompOp	—

---

← Back to Index