Theorem CategoryTheory.Abelian.Functor.leftDerivedZeroToSelfAppInv_comp

Modification history