Theorem CategoryTheory.MorphismProperty.TransfiniteCompositionOfShape.isIso

Modification history

2025-08-15 06:38
Mathlib/CategoryTheory/MorphismProperty/TransfiniteComposition.lean
feat(CategoryTheory): abstract argument for the stability under transfinite compositions (#26030) …
Modified CategoryTheory.MorphismProperty.TransfiniteCompositionOfShape.isIsoView on Github →
2025-02-15 11:19
Mathlib/CategoryTheory/MorphismProperty/TransfiniteComposition.lean
feat(CategoryTheory): various properties of transfinite compositions (#21843) …
Added CategoryTheory.MorphismProperty.TransfiniteCompositionOfShape.isIsoView on Github →