Theorem CategoryTheory.ComposableArrows.Exact.δ₀

Modification history