Theorem CategoryTheory.eq_of_zigzag

Modification history