OAI/Combinatorics/BalancedRyser/Candidates/ExternalWitnessTail.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.ExternalWitnessTail.power_tail_le line 17
2. theorem OAI.Balanced.ExternalWitnessTail.single_direction_tail_le line 36
3. theorem OAI.Balanced.ExternalWitnessTail.some_direction_tail_le line 58
4. theorem OAI.Balanced.ExternalWitnessTail.tendsto_some_direction_tail line 94
5. theorem OAI.Balanced.ExternalWitnessTail.candidateSlots_of_uniform_moment line 113