Theorem CategoryTheory.CategoryOfElements.fromStructuredArrow_obj

Modification history