Theorem CategoryTheory.ShortComplex.Exact.isIso_f'

Modification history