Theorem CategoryTheory.zigzag_equivalence

Modification history