IsoReassoc

📁 Source: Mathlib/Tactic/CategoryTheory/IsoReassoc.lean

Statistics

Metric	Count
Definitions categoryIsoSimp, reassocExprIso	2
Theorems eq_whisker	1
Total	3

Mathlib.Tactic.Reassoc

Definitions

Name	Category	Theorems
categoryIsoSimp 📖	CompOp	—
reassocExprIso 📖	CompOp	—

Mathlib.Tactic.Reassoc.Iso

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
eq_whisker 📖	mathematical	—	CategoryTheory.Iso.trans	—	—

---

← Back to Index