Theorem CategoryTheory.MorphismProperty.IsStableUnderColimitsOfShape.isomorphisms

Modification history

2025-08-15 06:38
Mathlib/CategoryTheory/MorphismProperty/Limits.lean
feat(CategoryTheory): abstract argument for the stability under transfinite compositions (#26030) …
Deleted CategoryTheory.MorphismProperty.IsStableUnderColimitsOfShape.isomorphismsView on Github →
2025-02-09 19:36
Mathlib/CategoryTheory/MorphismProperty/Limits.lean
feat(CategoryTheory/MorphismProperty): more API for limits and retracts (#21596)
Added CategoryTheory.MorphismProperty.IsStableUnderColimitsOfShape.isomorphismsView on Github →