Structure CategoryTheory.Functor.Iteration

Modification history

2025-02-03 20:04
Mathlib/CategoryTheory/SmallObject/Iteration/Basic.lean
refactor(CategoryTheory/SmallObject): generalization of the definitions (#20256) …
Deleted CategoryTheory.Functor.IterationView on Github →
2024-10-25 18:52
Mathlib/CategoryTheory/SmallObject/Iteration.lean
refactor: delete IsWellOrderLimitElement.lean (#15904) …
Modified CategoryTheory.Functor.IterationView on Github →
2024-07-01 08:42
Mathlib/CategoryTheory/SmallObject/Iteration.lean
feat(CategoryTheory/SmallObject): the category of transfinite iterations of a functor (#12211) …
Added CategoryTheory.Functor.IterationView on Github →