OAI/Combinatorics/BalancedRyser/Probability/FreshTupleConstraints.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.FreshTupleConstraints.exposed_tuplePoint_uniform line 17
2. theorem OAI.Balanced.FreshTupleConstraints.tuple_box_probability line 35
3. theorem OAI.Balanced.FreshTupleConstraints.pinned_positions_probability line 59
4. theorem OAI.Balanced.FreshTupleConstraints.one_pinned_position_probability line 112
5. theorem OAI.Balanced.FreshTupleConstraints.two_pinned_positions_probability line 123