Theorem CategoryTheory.Abelian.Functor.leftDerivedZeroToSelfApp_comp_inv

Modification history