Theorem CategoryTheory.CategoryOfElements.toStructuredArrow_obj

Modification history