Theorem CategoryTheory.eq_of_zag

Modification history