Theorem CategoryTheory.Functor.IsEventuallyConstantTo.isIso_π_of_isLimit

Modification history