nLab
zigzag identity 1 implies 2 - SVG

Layer 1 = = = = = = = = = = = = = = = = = = ε \varepsilon η \eta ε \varepsilon η \eta η 1 \eta^{-1} ε 1 \varepsilon^{-1}
category: svg

Created on November 11, 2010 at 15:56:13. See the history of this page for a list of all contributions to it.