Theorem CategoryTheory.MorphismProperty.IsStableUnderTransfiniteCompositionOfShape.of_isStableUnderColimitsOfShape.mem_map_bot_le
Modification history
2025-08-15 06:38
Mathlib/CategoryTheory/MorphismProperty/TransfiniteComposition.lean
feat(CategoryTheory): abstract argument for the stability under transfinite compositions (#26030) …
Added CategoryTheory.MorphismProperty.IsStableUnderTransfiniteCompositionOfShape.of_isStableUnderColimitsOfShape.mem_map_bot_leView on Github →