OAI/Dynamics/ConditionalShuffle/ResetReverse.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Thorp.Conditional.reversePosition line 10
  2. lemma OAI.Thorp.Conditional.reversePosition_apply line 16
  3. lemma OAI.Thorp.Conditional.reversePosition_involutive line 19
  4. lemma OAI.Thorp.Conditional.reversePosition_cons line 22
  5. lemma OAI.Thorp.Conditional.reversePosition_snoc line 28
  6. def OAI.Thorp.Conditional.reverseCoins line 33
  7. lemma OAI.Thorp.Conditional.reverse_step_cancel line 39
  8. lemma OAI.Thorp.Conditional.reverse_step line 49
  9. def OAI.Thorp.Conditional.reverseHistory line 58
  10. lemma OAI.Thorp.Conditional.run_cons line 70
  11. lemma OAI.Thorp.Conditional.reverseHistory_cons line 74
  12. lemma OAI.Thorp.Conditional.reverse_run line 80