OAI/Probability/FreeIsing/Trees/WordCancellation.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Problem367.TreeKoopman.wordAut_append_apply line 10
  2. theorem OAI.Problem367.TreeKoopman.wordAut_reverse_left_apply line 20
  3. theorem OAI.Problem367.TreeKoopman.wordAut_reverse_right_apply line 30
  4. theorem OAI.Problem367.TreeKoopman.wordAut_reverse_apply_eq_symm line 34
  5. def OAI.Problem367.TreeKoopman.reverseVertex line 39
  6. theorem OAI.Problem367.TreeKoopman.reverseVertex_twice line 45
  7. theorem OAI.Problem367.TreeKoopman.wordAut_append_reverse_suffix line 50
  8. theorem OAI.Problem367.TreeKoopman.wordAut_apply_reverse_prefix line 58
  9. theorem OAI.Problem367.TreeKoopman.wordAut_reverseVertex line 72
  10. theorem OAI.Problem367.TreeKoopman.wordAut_reverse_prefix_edge line 82