2024-12-20 13:13
Mathlib/CategoryTheory/MorphismProperty/TransfiniteComposition.lean
feat(CategoryTheory/MorphismProperty): classes of morphisms that are stable under transfinite compositions (#19306)
Added CategoryTheory.Functor.isWellOrderContinuous_of_iso