Theorem CategoryTheory.ComposableArrows.mkOfObjOfMapSucc_obj

Modification history