Theorem CategoryTheory.ComposableArrows.Mk₁.map_comp

Modification history