Theorem CategoryTheory.zigzag_symmetric

Modification history