Theorem CategoryTheory.Functor.IsEventuallyConstantTo.hasLimit

Modification history