Description: The probability that the first vote picked in a count is a B. (Contributed by Thierry Arnoux, 23-Nov-2016)
Ref | Expression | ||
---|---|---|---|
Hypotheses | ballotth.m | |
|
ballotth.n | |
||
ballotth.o | |
||
ballotth.p | |
||
Assertion | ballotlem2 | |