Retract

📁 Source: Mathlib/Algebra/Homology/ShortComplex/Retract.lean

Statistics

Metric	Count
Definitions	0
Theorems quasiIso_of_retract	1
Total	1

CategoryTheory.ShortComplex

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
quasiIso_of_retract 📖	mathematical	—	QuasiIso	—	quasiIso_iff CategoryTheory.Arrow.w_mk_right CategoryTheory.Arrow.hom_ext CategoryTheory.RetractArrow.retract_left homologyMap_id CategoryTheory.RetractArrow.retract_right CategoryTheory.MorphismProperty.of_retract CategoryTheory.MorphismProperty.IsStableUnderRetracts.isomorphisms

---

← Back to Index