Basic

📁 Source: Aesop/RuleTac/Forward/Basic.lean

Statistics

Metric	Count
Definitions ForwardHypData, depths, clearForwardImplDetailHyps, forwardHypPrefix, forwardImplDetailHypName, forwardImplDetailHypPrefix, getForwardHypData, getForwardImplDetailHyps, hideForwardImplDetailHyps, instInhabitedForwardHypData, default, isForwardImplDetailHyp, isForwardImplDetailHypName, matchForwardImplDetailHypName	14
Theorems	0
Total	14

Aesop

Definitions

Name	Category	Theorems
ForwardHypData 📖	CompData	—
clearForwardImplDetailHyps 📖	CompOp	—
forwardHypPrefix 📖	CompOp	—
forwardImplDetailHypName 📖	CompOp	—
forwardImplDetailHypPrefix 📖	CompOp	—
getForwardHypData 📖	CompOp	—
getForwardImplDetailHyps 📖	CompOp	—
hideForwardImplDetailHyps 📖	CompOp	—
instInhabitedForwardHypData 📖	CompOp	—
isForwardImplDetailHyp 📖	CompOp	—
isForwardImplDetailHypName 📖	CompOp	—
matchForwardImplDetailHypName 📖	CompOp	—

Aesop.ForwardHypData

Definitions

Name	Category	Theorems
depths 📖	CompOp	—

Aesop.instInhabitedForwardHypData

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index