OAI/Analysis/AllenCahn/PositiveCone.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DeGiorgi.positiveLinearCone line 15
2. lemma OAI.DeGiorgi.positiveLinearCone_pos line 19
3. lemma OAI.DeGiorgi.positiveLinearCone_convex line 29
4. lemma OAI.DeGiorgi.positiveLinearCone_normalize line 44
5. lemma OAI.DeGiorgi.positiveLinearCone_extreme_translate line 54
6. lemma OAI.DeGiorgi.positiveLinearCone_extreme_character line 116
7. lemma OAI.DeGiorgi.linear_quotient_drift line 145
8. lemma OAI.DeGiorgi.positive_linear_jet_step line 165
9. lemma OAI.DeGiorgi.positiveLinearCone_relative_jets line 207
10. def OAI.DeGiorgi.sech line 281
11. lemma OAI.DeGiorgi.sech_pos line 283
12. lemma OAI.DeGiorgi.cosh_sq_ge_one line 285
13. lemma OAI.DeGiorgi.contDiff_sech line 288
14. lemma OAI.DeGiorgi.sech_hasDerivAt line 291
15. lemma OAI.DeGiorgi.sech_deriv line 295
16. lemma OAI.DeGiorgi.sech_hasDerivAt_twice line 298
17. lemma OAI.DeGiorgi.positive_antitone_flux_zero line 314