Theorem CategoryTheory.Functor.IsEventuallyConstantFrom.postcomp

Modification history