Theorem CategoryTheory.Functor.IsEventuallyConstantTo.coneπApp_eq_id

Modification history