OAI/Combinatorics/BalancedRyser/Probability/UniformRestriction.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.TupleAlignment.uniform_map_fst line 9
2. def OAI.Balanced.TupleAlignment.restrictionEquiv line 18
3. theorem OAI.Balanced.TupleAlignment.restrictionEquiv_fst line 27
4. theorem OAI.Balanced.TupleAlignment.uniform_map_restrict line 30