OAI/Probability/StrongRayleigh/AffineSlopeStability.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem336AdditiveD139.analytic_eq_zero_of_im_nonpos_of_zero line 12
2. lemma OAI.Problem336AdditiveD139.affine_stable_normalized_slope_im_neg line 32
3. theorem OAI.Problem336AdditiveD139.affine_stable_analytic_slope_zero_or_nonvanishing line 54
4. theorem OAI.Problem336AdditiveD139.affine_stable_entire_slope_nonvanishing line 83
5. theorem OAI.Problem336AdditiveD139.polynomial_slope_stable_of_affine_stable line 104