Theorem CategoryTheory.ShortComplex.ShortExact.moduleCat_surjective_g

Modification history