OAI/Probability/SKBarriers/Replicas/TripleContinuumTrial.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.cdfArea_distance_le line 15
2. theorem OAI.SK.Analytic.cdfArea_tendsto line 24
3. theorem OAI.SK.Analytic.uniformCDFQuantiles_pointwise_tendsto line 33
4. theorem OAI.SK.Analytic.tripleCDFTrialCoefficient_uniform_tendsto line 44
5. theorem OAI.SK.Analytic.tripleConstrainedPressure_continuum_trial line 64