OAI/Probability/SKGap/Stability/GaugedField.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SKGapCutoff.Regression.gaugedField line 44
2. def OAI.SKGapCutoff.Regression.gaugeFieldCLM line 47
3. lemma OAI.SKGapCutoff.Regression.gaugeFieldCLM_sampled line 51
4. lemma OAI.SKGapCutoff.Regression.gaugedField_gaussian line 56
5. lemma OAI.SKGapCutoff.Regression.sum_off_diagonal_const line 61
6. lemma OAI.SKGapCutoff.Regression.gaugedField_mean line 69
7. lemma OAI.SKGapCutoff.Regression.gauged_entry_covariance line 93
8. lemma OAI.SKGapCutoff.Regression.sum_covariance_pattern line 123
9. lemma OAI.SKGapCutoff.Regression.gaugedField_covariance line 151
10. def OAI.SKGapCutoff.Regression.sharedGaussianField line 165
11. def OAI.SKGapCutoff.Regression.sharedGaussianFieldCLM line 168
12. lemma OAI.SKGapCutoff.Regression.sharedGaussianField_gaussian line 174
13. lemma OAI.SKGapCutoff.Regression.sharedGaussianField_mean line 184
14. lemma OAI.SKGapCutoff.Regression.sharedGaussianField_covariance line 196
15. lemma OAI.SKGapCutoff.Regression.planted_field_representation line 218