OAI/Probability/ThorpShuffle/BlockLaws.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.Thorp.law_realPowerline 13 - theorem
OAI.Thorp.Specht.trimmed_eight_tvline 32
OAI/Probability/ThorpShuffle/BlockLaws.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.Thorp.law_realPower line 13OAI.Thorp.Specht.trimmed_eight_tv line 32