Theorem CategoryTheory.Functor.isoSum_hom_app_inl

Modification history