OAI/MathematicalPhysics/Heisenberg/ColorClockLimit.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Heisenberg.Surface.color_matrix_permutation line 13
2. def OAI.Heisenberg.Surface.colorClocks line 16
3. lemma OAI.Heisenberg.Surface.color_prefix_linear line 20
4. lemma OAI.Heisenberg.Surface.color_generator line 32
5. theorem OAI.Heisenberg.Surface.color_clock_limit line 41