OAI/Probability/ThorpShuffle/Model.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Thorp.Position line 13

    Also declared: ComparatorChallenges/ThorpFirstReciprocal.lean:14 (same declaration text), ComparatorChallenges/ThorpRemaining.lean:13 (same declaration text).

  2. abbrev OAI.Thorp.State line 14

    Also declared: ComparatorChallenges/ThorpRemaining.lean:14 (same declaration text).

  3. def OAI.Thorp.Coins line 16

    Also declared: ComparatorChallenges/ThorpRemaining.lean:16 (same declaration text).

  4. instance OAI.Thorp.coinsFintype line 20

    Also declared: ComparatorChallenges/ThorpRemaining.lean:20 (same declaration text).

  5. instance OAI.Thorp.coinsInhabited line 23

    Also declared: ComparatorChallenges/ThorpRemaining.lean:23 (same declaration text).

  6. def OAI.Thorp.pairSwitch line 26

    Also declared: ComparatorChallenges/ThorpRemaining.lean:26 (same declaration text).

  7. def OAI.Thorp.rotate line 36

    Also declared: ComparatorChallenges/ThorpRemaining.lean:36 (same declaration text).

  8. def OAI.Thorp.step line 39

    Also declared: ComparatorChallenges/ThorpRemaining.lean:39 (same declaration text).

  9. abbrev OAI.Thorp.History line 46

    Also declared: ComparatorChallenges/ThorpRemaining.lean:46 (same declaration text).

  10. def OAI.Thorp.run line 48

    Also declared: ComparatorChallenges/ThorpRemaining.lean:48 (same declaration text).

  11. def OAI.Thorp.fairMass line 51

    Also declared: ComparatorChallenges/ThorpRemaining.lean:51 (same declaration text).

  12. def OAI.Thorp.law line 55

    Also declared: ComparatorChallenges/ThorpRemaining.lean:55 (same declaration text).

  13. def OAI.Thorp.uniform line 57

    Also declared: ComparatorChallenges/ThorpRemaining.lean:57 (same declaration text).

  14. def OAI.Thorp.tv line 59

    Also declared: ComparatorChallenges/ThorpRemaining.lean:59 (same declaration text).

  15. def OAI.Thorp.distance line 62

    Also declared: ComparatorChallenges/ThorpRemaining.lean:62 (same declaration text).

  16. def OAI.Thorp.lawFrom line 64

    Also declared: ComparatorChallenges/ThorpRemaining.lean:64 (same declaration text).

  17. def OAI.Thorp.mixingTime line 67

    Also declared: ComparatorChallenges/ThorpRemaining.lean:79 (same declaration text).

  18. def OAI.Thorp.supportThreshold line 69
  19. def OAI.Thorp.orderFunction line 72