Theorem CategoryTheory.Functor.sumIsoExt_hom_app_inl

Modification history