Theorem CategoryTheory.Functor.IsEventuallyConstantFrom.coconeιApp_eq

Modification history