OAI/Probability/StrongRayleigh/StableUnivariate.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem336AdditiveD139.aeval_root_im_eq_zero_of_stable line 12
2. theorem OAI.Problem336AdditiveD139.splits_of_upper_halfplane_stable line 25
3. theorem OAI.Problem336AdditiveD139.eval_pos_of_nonnegative_coefficients line 37
4. theorem OAI.Problem336AdditiveD139.aeval_root_re_nonpos_of_nonnegative_coefficients line 48
5. theorem OAI.Problem336AdditiveD139.aeval_ne_zero_on_slitPlane_of_stable line 70