Theorem CategoryTheory.ComposableArrows.Precomp.map_comp

Modification history