Theorem CategoryTheory.Functor.sumIsoExt_inv_app_inl

Modification history