Theorem CategoryTheory.zigzag_prefunctor_obj_of_zigzag

Modification history