Def CategoryTheory.Abelian.Functor.rightDerivedZeroToSelfAppIso

Modification history