Theorem CategoryTheory.ShortComplex.ShortExact.epi_δ

Modification history