OAI/Probability/SKBarriers/Scalar/ScalarMassOne.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.scalarStep_one_spin line 14
2. theorem OAI.SK.Analytic.scalarStep_regular line 35
3. theorem OAI.SK.Analytic.scalarStep_add_const line 40
4. theorem OAI.SK.Analytic.scalarHierarchy_add_const line 45
5. theorem OAI.SK.Analytic.scalar_quantile_terminal_shift line 54