Theorem CategoryTheory.ShortComplex.Exact.liftFromProjective_comp

Modification history