OAI/Probability/SpanningForest/FiniteResponse.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem336.FiniteResponse.mean line 12
2. def OAI.Problem336.FiniteResponse.covariance line 15
3. lemma OAI.Problem336.FiniteResponse.mean_nonneg line 19
4. lemma OAI.Problem336.FiniteResponse.mean_le_one line 25
5. lemma OAI.Problem336.FiniteResponse.covariance_self line 36
6. lemma OAI.Problem336.FiniteResponse.sum_covariance_eq_zero line 46
7. lemma OAI.Problem336.FiniteResponse.sum_abs_of_row_sum_zero line 63
8. theorem OAI.Problem336.FiniteResponse.covariance_abs_row line 82
9. theorem OAI.Problem336.FiniteResponse.covariance_abs_row_le_half line 102