OAI/Probability/FreeIsing/Estimates/ColorAutomorphisms.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem367.colorPermMap line 7
  2. theorem OAI.Problem367.colorPermMap_val line 13
  3. theorem OAI.Problem367.colorPermMap_symm_apply line 16
  4. theorem OAI.Problem367.colorPermMap_adj line 21
  5. def OAI.Problem367.colorPermAut line 27
  6. theorem OAI.Problem367.colorPermAut_val line 43
  7. theorem OAI.Problem367.colorPermAut_length line 46
  8. theorem OAI.Problem367.colorPermAut_nil line 50
  9. def OAI.Problem367.branchColorList line 56
  10. lemma OAI.Problem367.branchColorList_chain line 61
  11. lemma OAI.Problem367.branchColorList_inverse line 71
  12. lemma OAI.Problem367.branchColorList_append line 76
  13. def OAI.Problem367.branchColorMap line 83
  14. lemma OAI.Problem367.branchColorMap_adj line 87
  15. lemma OAI.Problem367.branchColor_inverse_fixes line 98
  16. lemma OAI.Problem367.branchColorMap_symm_apply line 103
  17. def OAI.Problem367.branchColorAut line 110
  18. theorem OAI.Problem367.branchColorAut_val line 130
  19. theorem OAI.Problem367.branchColorAut_length line 134
  20. theorem OAI.Problem367.branchColorAut_singleton line 140