Theorem CategoryTheory.ComposableArrows.Precomp.map_one_succ

Modification history