OAI/MathematicalPhysics/Heisenberg/CutColors.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Heisenberg.Surface.rotate_pow_zero line 15
2. lemma OAI.Heisenberg.Surface.transport_succ_zero line 23
3. def OAI.Heisenberg.Surface.extendCut line 27
4. lemma OAI.Heisenberg.Surface.extendCut_invariant line 31
5. def OAI.Heisenberg.Surface.cutColorEquiv line 54
6. lemma OAI.Heisenberg.Surface.trace_closed_colors line 72
7. theorem OAI.Heisenberg.Surface.trace_wiring_cut line 77