Theorem CategoryTheory.ComposableArrows.Precomp.map_succ_succ

Modification history