Theorem CategoryTheory.ComposableArrows.Precomp.map_one_one

Modification history