Documentation Verification Report

UnfoldBoundary

📁 Source: Mathlib/Tactic/Translate/UnfoldBoundary.lean

Statistics

Metric	Count
Definitions `UnfoldBoundaries`, `cast`, `casts`, `insertBoundaries`, `insertionFuns`, `unfoldInsertions`, `unfolds`, `UnfoldBoundaryExt`, `UnfoldEntry`, `instInhabitedUnfoldBoundaries`, `default`, `registerUnfoldBoundaryExt`	12
Theorems	0
Total	12

Mathlib.Tactic.UnfoldBoundary

Definitions

Name	Category	Theorems
`UnfoldBoundaries` 📖	CompData	—
`UnfoldBoundaryExt` 📖	CompOp	—
`UnfoldEntry` 📖	CompData	—
`instInhabitedUnfoldBoundaries` 📖	CompOp	—
`registerUnfoldBoundaryExt` 📖	CompOp	—

Mathlib.Tactic.UnfoldBoundary.UnfoldBoundaries

Definitions

Name	Category	Theorems
`cast` 📖	CompOp	—
`casts` 📖	CompOp	—
`insertBoundaries` 📖	CompOp	—
`insertionFuns` 📖	CompOp	—
`unfoldInsertions` 📖	CompOp	—
`unfolds` 📖	CompOp	—

Mathlib.Tactic.UnfoldBoundary.instInhabitedUnfoldBoundaries

Definitions

Name	Category	Theorems
`default` 📖	CompOp	—

---

← Back to Index