Theorem CategoryTheory.Functor.IsEventuallyConstantTo.isoMap_hom_inv_id

Modification history