Theorem CategoryTheory.ComposableArrows.map'_comp

Modification history