Theorem CategoryTheory.Functor.IsEventuallyConstantFrom.coconeιApp_eq_id

Modification history