Theorem CategoryTheory.ComposableArrows.exact_iff_δlast

Modification history