Theorem CategoryTheory.Functor.IsEventuallyConstantFrom.isIso_map

Modification history