Def CategoryTheory.Functor.restrictionLT

Modification history

2025-02-02 20:52
Mathlib/CategoryTheory/Limits/Shapes/Preorder/WellOrderContinuous.lean
feat(CategoryTheory/Limits/Shapes/Preorder): principal segments (#21055) …
Deleted CategoryTheory.Functor.restrictionLTView on Github →
2025-01-22 08:02
Mathlib/CategoryTheory/Limits/Shapes/Preorder/WellOrderContinuous.lean
chore(CategoryTheory): move Functor.IsWellOrderContinuous (#20366) …
Modified CategoryTheory.Functor.restrictionLTView on Github →
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.restrictionLTView on Github →