Theorem CategoryTheory.ShortComplex.ShortExact.mono_δ

Modification history