OAI/Probability/SKBarriers/Parisi/CDFCramer.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.scalarCDFValue_rootGradient line 17
2. theorem OAI.SK.Analytic.scalarCDFValue_rootHessian line 25
3. theorem OAI.SK.Analytic.scalarCDFValue_spinConvex line 37
4. theorem OAI.SK.Analytic.chain_coefficients_variance line 44
5. theorem OAI.SK.Analytic.scalarTimeChain_cramer line 52
6. theorem OAI.SK.Analytic.scalarCDFOverlap_cramer_quantile line 64
7. theorem OAI.SK.Analytic.scalarCDFOverlap_cramer line 104