Theorem CategoryTheory.CategoryOfElements.fromCostructuredArrow_obj_mk

Modification history