Theorem CategoryTheory.ComposableArrows.Precomp.obj_succ

Modification history