Theorem CategoryTheory.Functor.isoSum_inv_app_inl

Modification history