TypeClass

📁 Source: Batteries/Tactic/Lint/TypeClass.lean

Statistics

Metric	Count
Definitions impossibleInstance, nonClassInstance	2
Theorems	0
Total	2

Batteries.Tactic.Lint

Definitions

Name	Category	Theorems
impossibleInstance 📖	CompOp	—
nonClassInstance 📖	CompOp	—

---

← Back to Index