OAI/Combinatorics/ContingencyTables/Transport/RationalChainCast.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Independent rational walks agree with their real finite kernels
- theorem
OAI.ContingencyTables.FirstSuccess.walkLaw_cast_kernelline 15