Coe

📁 Source: Mathlib/Tactic/Coe.lean

Statistics

Metric	Count
Definitions elabPartiallyAppliedCoe, «term(↑)»»), «term(↥)»»), «term(⇑)»»)	4
Theorems	0
Total	4

Lean.Elab.Term.CoeImpl

Definitions

Name	Category	Theorems
elabPartiallyAppliedCoe 📖	CompOp	—
«term(↑)» 📖» "API Documentation")	CompOp	—
«term(↥)» 📖» "API Documentation")	CompOp	—
«term(⇑)» 📖» "API Documentation")	CompOp	—

---

← Back to Index