Theorem CategoryTheory.ComposableArrows.mkOfObjOfMapSucc_exists

Modification history