OAI/Combinatorics/BalancedRyser/Profiles/AnalyticDetection.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Balanced.analytic_equality_null line 16
2. lemma OAI.Balanced.analytic_complex_exponential_series line 26
3. lemma OAI.Balanced.analytic_real_exponential_series line 45
4. lemma OAI.Balanced.analytic_real_power_series line 66
5. lemma OAI.Balanced.power_series_at_exp_neg line 82
6. lemma OAI.Balanced.power_series_zero_null_of_laplace_nonzero line 91