Theorem CategoryTheory.ComposableArrows.Precomp.map_zero_one

Modification history