Theorem CategoryTheory.Functor.IsEventuallyConstantFrom.isoMap_inv_hom_id

Modification history