Def CategoryTheory.Functor.restrictionLT

Modification history

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.restrictionLT View on Github →