OAI/Probability/ThorpShuffle/MaskedResampling.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Thorp.Conditional.maskedCoin line 16
  2. def OAI.Thorp.Conditional.maskSwap line 19
  3. theorem OAI.Thorp.Conditional.mean_maskedCoin line 27
  4. def OAI.Thorp.Conditional.freePairMask line 36
  5. theorem OAI.Thorp.Conditional.step_cons line 39
  6. theorem OAI.Thorp.Conditional.masked_step_occupied line 43
  7. theorem OAI.Thorp.Conditional.physicalFlow_resampling line 53
  8. theorem OAI.Thorp.Conditional.masked_step_exposed line 79
  9. theorem OAI.Thorp.Conditional.physicalFlow_joint line 85