Def CategoryTheory.Abelian.Functor.rightDerivedZeroToSelfApp

Modification history