Theorem CategoryTheory.Functor.sumIsoExt_inv_app_inr

Modification history