Theorem CategoryTheory.ShortComplex.Exact.lift_f

Modification history