Def CategoryTheory.Functor.IsEventuallyConstantTo.isLimitCone

Modification history