OAI/Probability/SKBarriers/Scalar/ScalarSplit.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.scalarHierarchy_translate line 14
2. theorem OAI.SK.Analytic.scalarHierarchy_gradient_average line 23
3. theorem OAI.SK.Analytic.scalarHierarchy_split line 43
4. theorem OAI.SK.Analytic.scalarHierarchyAverage_split line 53
5. theorem OAI.SK.Analytic.scalarMomentSquare_split line 65