CommDiag

📁 Source: Mathlib/Tactic/Widget/CommDiag.lean

Statistics

Metric	Count
Definitions app7?, ExprEmbeds, commSquareM?, commTriangleM?, commutativeSquarePresenter, commutativeTrianglePresenter, homComp?, homType?, mkCommDiag, subSquare, subTriangle	11
Theorems	0
Total	11

Lean.Expr

Definitions

Name	Category	Theorems
app7? 📖	CompOp	—

Mathlib.Tactic.Widget

Definitions

Name	Category	Theorems
ExprEmbeds 📖	CompOp	—
commSquareM? 📖	CompOp	—
commTriangleM? 📖	CompOp	—
commutativeSquarePresenter 📖	CompOp	—
commutativeTrianglePresenter 📖	CompOp	—
homComp? 📖	CompOp	—
homType? 📖	CompOp	—
mkCommDiag 📖	CompOp	—
subSquare 📖	CompOp	—
subTriangle 📖	CompOp	—

---

← Back to Index