OAI/Probability/FreeIsing/Estimates/LocalColorAutomorphisms.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem367.prefixColorList line 7
  2. lemma OAI.Problem367.prefixColorList_nil line 14
  3. lemma OAI.Problem367.prefixColorList_head line 18
  4. lemma OAI.Problem367.prefixColorList_inverse line 25
  5. lemma OAI.Problem367.prefixColorList_append line 35
  6. lemma OAI.Problem367.prefixColorList_chain line 51
  7. lemma OAI.Problem367.prefixColorList_length line 84
  8. lemma OAI.Problem367.prefixColorList_on_subtree line 94
  9. lemma OAI.Problem367.prefixColorList_eq_of_length_le line 101
  10. lemma OAI.Problem367.prefixColorList_eq_of_not_prefix line 115
  11. lemma OAI.Problem367.prefixColor_inverse_fixes line 131
  12. def OAI.Problem367.prefixColorMap line 138
  13. lemma OAI.Problem367.prefixColorMap_symm_apply line 142
  14. lemma OAI.Problem367.prefixColorMap_adj line 150
  15. def OAI.Problem367.prefixColorAut line 162
  16. theorem OAI.Problem367.prefixColorAut_val line 181
  17. theorem OAI.Problem367.prefixColorAut_length line 186
  18. theorem OAI.Problem367.prefixColorAut_fixes_ball line 191
  19. theorem OAI.Problem367.prefixColorAut_fixes_complement line 198