Def CategoryTheory.Functor.IsEventuallyConstantFrom.isColimitCocone

Modification history