Theorem CategoryTheory.MorphismProperty.isStableUnderRetracts_iff_retracts_le

Modification history

2025-02-09 19:36
Mathlib/CategoryTheory/MorphismProperty/Retract.lean
feat(CategoryTheory/MorphismProperty): more API for limits and retracts (#21596)
Added CategoryTheory.MorphismProperty.isStableUnderRetracts_iff_retracts_leView on Github →