Theorem DerivedCategory.from_singleFunctor_obj_eq_zero_of_projective

Modification history