OAI/Probability/ThorpShuffle/FixedLists/Objects.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Thorp.LabelList line 12

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

2. def OAI.Thorp.coordinateRun line 14

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

3. def OAI.Thorp.images line 17

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

4. def OAI.Thorp.listTV line 21

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

5. theorem OAI.Thorp.FixedLists.uniform_list_mass line 27
6. theorem OAI.Thorp.FixedLists.uniform_list_mass_frame line 60