ProxyType

📁 Source: Mathlib/Tactic/ProxyType.lean

Statistics

Metric	Count
Definitions ProxyEquivConfig, default, mkCtorProxyType, mkProxyType, proxyEquivName, proxyName, defaultMkCtorProxyType, defaultMkProxyType, elabProxyEquiv, elab_proxy_equiv, ensureProxyEquiv, proxy_equiv	12
Theorems	0
Total	12

Mathlib.ProxyType

Definitions

Name	Category	Theorems
ProxyEquivConfig 📖	CompData	—
defaultMkCtorProxyType 📖	CompOp	—
defaultMkProxyType 📖	CompOp	—
elabProxyEquiv 📖	CompOp	—
elab_proxy_equiv 📖	CompOp	—
ensureProxyEquiv 📖	CompOp	—
proxy_equiv 📖	CompOp	—

Mathlib.ProxyType.ProxyEquivConfig

Definitions

Name	Category	Theorems
default 📖	CompOp	—
mkCtorProxyType 📖	CompOp	—
mkProxyType 📖	CompOp	—
proxyEquivName 📖	CompOp	—
proxyName 📖	CompOp	—

---

← Back to Index