Theorem CategoryTheory.Functor.IsEventuallyConstantFrom.hasColimit

Modification history