OAI/Analysis/AllenCahn/ExtremeWindows.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.DeGiorgi.sech_neg line 16
  2. lemma OAI.DeGiorgi.exp_two_sech_four line 18
  3. lemma OAI.DeGiorgi.exp_two_sech_four_primitive line 25
  4. lemma OAI.DeGiorgi.integral_exp_two_sech_four line 32
  5. lemma OAI.DeGiorgi.moment_exp_two_sech_four line 43
  6. lemma OAI.DeGiorgi.exp_tangent_two line 80
  7. lemma OAI.DeGiorgi.finite_mass_tangent line 86
  8. lemma OAI.DeGiorgi.jost_weighted_primitive line 113
  9. lemma OAI.DeGiorgi.finite_jost_mass_lower line 118
  10. lemma OAI.DeGiorgi.reflected_weighted_mass line 136
  11. lemma OAI.DeGiorgi.tanh_exp_two line 143
  12. lemma OAI.DeGiorgi.tanh_nonneg_of_nonneg line 152
  13. lemma OAI.DeGiorgi.tanh_tail_bound line 158
  14. lemma OAI.DeGiorgi.exp_two_mass_deficit line 167
  15. lemma OAI.DeGiorgi.jost_finite_window line 178
  16. lemma OAI.DeGiorgi.positive_sech_ode_finite_window line 213
  17. lemma OAI.DeGiorgi.jetCone_extreme_base line 293
  18. lemma OAI.DeGiorgi.jetDirectional_eq_fderiv line 313
  19. lemma OAI.DeGiorgi.deriv_normal_line line 320
  20. lemma OAI.DeGiorgi.conePotential_extreme_window line 327