OAI/Analysis/AllenCahn/EndpointSeparation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.EndpointSupport.DeGiorgi.no_tangent_zero line 16
2. lemma OAI.EndpointSupport.DeGiorgi.nonnegative_supersolution_eq_zero line 83
3. lemma OAI.EndpointSupport.DeGiorgi.constant_one_of_attains_one line 110
4. lemma OAI.EndpointSupport.DeGiorgi.allenCahn_neg line 134
5. lemma OAI.EndpointSupport.DeGiorgi.constant_neg_one_of_attains_neg_one line 142
6. lemma OAI.EndpointSupport.DeGiorgi.endpoint_separation line 156