OAI/Probability/SKBarriers/Hierarchy/WeightedTerminalMean.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.affineMoment_sum line 18
2. def OAI.SK.Analytic.weightedHierarchyTerminalMean line 24
3. theorem OAI.SK.Analytic.weightedHierarchyTerminalMean_integrable line 28
4. theorem OAI.SK.Analytic.weightedHierarchyTerminalMean_const line 36
5. theorem OAI.SK.Analytic.weightedHierarchyTerminalMean_mono line 43
6. theorem OAI.SK.Analytic.weightedHierarchyTerminalMean_sum line 51
7. theorem OAI.SK.Analytic.weightedHierarchyTerminalMean_const_mul line 59