Theorem CategoryTheory.Functor.isoSum_hom_app_inr

Modification history