Theorem CategoryTheory.Abelian.Functor.rightDerivedZeroToSelfApp_comp_inv

Modification history