Theorem CategoryTheory.ComposableArrows.Precomp.obj_one

Modification history