UpstreamableDecl

📁 Source: Mathlib/Tactic/Linter/UpstreamableDecl.lean

Statistics

Metric	Count
Definitions isLocal, upstreamableDecl, defs, private	4
Theorems	0
Total	4

Lean.Name

Definitions

Name	Category	Theorems
isLocal 📖	CompOp	—

Mathlib.Linter.linter

Definitions

Name	Category	Theorems
upstreamableDecl 📖	CompOp	—

Mathlib.Linter.linter.upstreamableDecl

Definitions

Name	Category	Theorems
defs 📖	CompOp	—
private 📖	CompOp	—

---

← Back to Index