Theorem CategoryTheory.isZero_Tor'_succ_of_projective

Modification history