Def CategoryTheory.Abelian.Functor.rightDerivedZeroToSelfAppInv

Modification history