Theorem CategoryTheory.zag_of_zag_obj

Modification history