Theorem CategoryTheory.Abelian.Functor.rightDerivedZeroToSelfAppInv_comp

Modification history