OAI/Combinatorics/BalancedRyser/Probability/UniformThreshold.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.uniform_threshold_of_growing_sequences line 13
2. theorem OAI.Balanced.uniform_metric_threshold_of_growing_sequences line 26
3. structure OAI.Balanced.FiniteFieldPresentation line 37
4. theorem OAI.Balanced.candidate_graph_uniform_threshold line 46