OAI/Probability/SKBarriers/Parisi/CDFHeatContact.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.scalarCDFOverlap_heat_increment_lower line 16
2. theorem OAI.SK.Analytic.scalarCDFHeatContact_chi_sq_gt line 42
3. theorem OAI.SK.Analytic.not_min_of_contact_increment line 83
4. theorem OAI.SK.Analytic.heat_increment_coefficient_continuous line 117
5. theorem OAI.SK.Analytic.scalarCDFPotential_not_min_heat_prefix line 126