Transport

📁 Source: Mathlib/Algebra/Homology/LeftResolution/Transport.lean

Statistics

Metric	Count
Definitions ofCompIso, transport	2
Theorems	0
Total	2

CategoryTheory.Abelian.LeftResolution

Definitions

Name	Category	Theorems
ofCompIso 📖	CompOp	—
transport 📖	CompOp	—

---

← Back to Index