Theorem CategoryTheory.Abelian.Functor.rightDerivedZeroToSelf_natural

Modification history