OAI/Probability/SKBarriers/Scalar/VectorHierarchy.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SK.Analytic.vectorStep line 16
2. def OAI.SK.Analytic.vectorHierarchy line 19
3. theorem OAI.SK.Analytic.vectorStep_zero line 24
4. theorem OAI.SK.Analytic.hierarchyPressure_vector_linear line 28
5. theorem OAI.SK.Analytic.vectorHierarchy_compress line 49