Theorem CategoryTheory.Functor.isZero_rightDerived_obj_injective_succ

Modification history