Theorem CategoryTheory.Functor.IsEventuallyConstantTo.isoMap_inv_hom_id

Modification history