Trans

📁 Source: Batteries/Tactic/Trans.lean

Statistics

Metric	Count
Definitions TransRelation, getExplicitFuncArg?, getExplicitRelArg?, getExplicitRelArgCore, getRel, tacticTrans___, tacticTransitivity___, transExt, simple	9
Theorems	0
Total	9

Batteries.Tactic

Definitions

Name	Category	Theorems
TransRelation 📖	CompData	—
getExplicitFuncArg? 📖	CompOp	—
getExplicitRelArg? 📖	CompOp	—
getExplicitRelArgCore 📖	CompOp	—
getRel 📖	CompOp	—
tacticTrans___ 📖	CompOp	—
tacticTransitivity___ 📖	CompOp	—
transExt 📖	CompOp	—

Trans

Definitions

Name	Category	Theorems
simple 📖	CompOp	—

---

← Back to Index