OAI/Combinatorics/BalancedRyser/Probability/GlobalTupleLaw.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.TupleAlignment.fin_four_ne_next line 10
2. theorem OAI.Balanced.TupleAlignment.adjacent_ne_of_injective line 15
3. theorem OAI.Balanced.TupleAlignment.tuplePoint_uniform line 19
4. theorem OAI.Balanced.TupleAlignment.tuplePoint_alignment_probability line 41