Theorem DerivedCategory.from_singleFunctor_obj_projective_eq_zero

Modification history