Theorem CategoryTheory.MorphismProperty.TransfiniteCompositionOfShape.mono

Modification history

2025-08-15 06:38
Mathlib/CategoryTheory/Abelian/GrothendieckCategory/Monomorphisms.lean
feat(CategoryTheory): abstract argument for the stability under transfinite compositions (#26030) …
Deleted CategoryTheory.MorphismProperty.TransfiniteCompositionOfShape.monoView on Github →
2025-02-19 06:02
Mathlib/CategoryTheory/Abelian/GrothendieckCategory/Monomorphisms.lean
feat(CategoryTheory/Abelian): mono are stable under transfinite composition (#22060) …
Added CategoryTheory.MorphismProperty.TransfiniteCompositionOfShape.monoView on Github →