Theorem CategoryTheory.ShortComplex.ShortExact.surjective_g

Modification history