OAI/Combinatorics/BalancedRyser/Probability/UnexposedTupleLaw.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.TupleAlignment.unexposed_generator_offsets_law line 12
2. theorem OAI.Balanced.TupleAlignment.unexposed_tuplePoint_law line 38
3. theorem OAI.Balanced.TupleAlignment.unexposed_tuplePoint_event_probability line 58