Theorem CategoryTheory.ShortComplex.ShortExact.moduleCat_injective_f

Modification history