Theorem CategoryTheory.ShortComplex.Exact.isIso_g'

Modification history