Theorem CategoryTheory.Functor.IsEventuallyConstantFrom.isIso_ι_of_isColimit

Modification history