OAI/Probability/ThorpShuffle/FixedLists/FullDeck.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- lemma
OAI.Thorp.distance_add_leline 11 - theorem
OAI.Thorp.full_mixing_2048line 21
OAI/Probability/ThorpShuffle/FixedLists/FullDeck.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.Thorp.distance_add_le line 11OAI.Thorp.full_mixing_2048 line 21