Theorem CategoryTheory.ComposableArrows.mkOfObjOfMapSucc_map_succ

Modification history