Theorem CategoryTheory.zigzag_obj_of_zigzag

Modification history