Theorem CategoryTheory.ComposableArrows.Precomp.map_zero_zero

Modification history