OAI/Probability/SKValue/Coercivity/GapBoundary.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKValue.OrderParameter.origin_eq_of_constant line 10
2. lemma OAI.SKValue.IsDiffusion.moment_origin line 19
3. lemma OAI.SKValue.positive_gap_endpoints line 38
4. lemma OAI.SKValue.not_three_slope_pattern line 84
5. lemma OAI.SKValue.positive_hump_impossible line 110
6. lemma OAI.SKValue.endpoint_condition line 137