OAI/Probability/StrongRayleigh/ResponseDirectional.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem336AdditiveD139.hasDerivAt_tilt_weighted_sum line 12
2. theorem OAI.Problem336AdditiveD139.quotient_covariance_sum line 43
3. theorem OAI.Problem336AdditiveD139.tiltMean_hasDerivAt_affine_of_ne_zero line 53
4. theorem OAI.Problem336AdditiveD139.tiltMean_hasDerivAt_affine line 72