OAI/Probability/SKBarriers/Scalar/ScalarHierarchy.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SK.Analytic.scalarStep line 16
2. def OAI.SK.Analytic.scalarHierarchy line 19
3. theorem OAI.SK.Analytic.scalarStep_zero line 24
4. def OAI.SK.Analytic.cascadeCoordinate line 31
5. theorem OAI.SK.Analytic.cascadeCoordinate_last line 36
6. theorem OAI.SK.Analytic.cascadeCoordinate_castSucc line 40
7. theorem OAI.SK.Analytic.cascadePressure_single_coordinate line 44
8. theorem OAI.SK.Analytic.coordinateProjection_append_tail line 66
9. theorem OAI.SK.Analytic.hierarchyPressure_scalar_linear line 81