OAI/Probability/SKBarriers/Hierarchy/WeightedListMean.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SK.Analytic.weightedMean line 15
2. theorem OAI.SK.Analytic.weightedList_spin_mean line 17
3. theorem OAI.SK.Analytic.zeroWeightChain_average_noise line 36
4. theorem OAI.SK.Analytic.weightedMean_append line 48
5. theorem OAI.SK.Analytic.weightedMean_zeroWeight line 51
6. theorem OAI.SK.Analytic.weightedList_tail_mean line 54