Theorem CategoryTheory.ShortComplex.liftHomology_ι

Modification history