Theorem CategoryTheory.ComposableArrows.precomp_δ₀

Modification history