Theorem CategoryTheory.ComposableArrows.Precomp.obj_zero

Modification history