OAI/Combinatorics/BalancedRyser/Deletion/ExponentialDomination.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BalancedRyser.deletion_ratio_exponential_envelope line 11
2. theorem OAI.BalancedRyser.deletion_ratio_exponential_coefficient_pos line 35
3. theorem OAI.BalancedRyser.tendsto_exp_linear_mul_exp_neg_mul_log line 40
4. theorem OAI.BalancedRyser.tendsto_zero_of_exponential_domination line 58