Theorem CategoryTheory.ComposableArrows.mkOfObjOfMapSucc_arrow

Modification history