2024-12-20 17:08
Mathlib/CategoryTheory/SmallObject/TransfiniteCompositionLifting.lean
feat(CategoryTheory): the left lifting property is stable under transfinite composition (#20119) …
Added CategoryTheory.HasLiftingProperty.transfiniteComposition.wellOrderInductionData.liftHom_fac