Theorem CategoryTheory.Functor.sumIsoExt_hom_app_inr

Modification history