Theorem CategoryTheory.Functor.IsEventuallyConstantTo.precomp

Modification history