Theorem CategoryTheory.ComposableArrows.Exact.δlast

Modification history