OAI/Probability/StrongRayleigh/PickSquareRoot.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem336AdditiveD139.sq_mem_slitPlane_of_re_pos line 10
2. lemma OAI.Problem336AdditiveD139.sqrt_re_pos_of_mem_slitPlane line 21
3. lemma OAI.Problem336AdditiveD139.complex_sqrt_sq line 32
4. theorem OAI.Problem336AdditiveD139.slitPlane_derivative_bound line 36
5. theorem OAI.Problem336AdditiveD139.weakPick_derivative_re_le line 85
6. theorem OAI.Problem336AdditiveD139.reflectedPick_derivative_re_le line 126