Theorem CategoryTheory.Functor.IsEventuallyConstantTo.isIso_map

Modification history