OAI/Analysis/AllenCahn/ZeroDefect.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DeGiorgi.diffuseDefect_eq_zero_of_eq_zero line 19
2. lemma OAI.DeGiorgi.classified_of_defect_zero_at line 31
3. theorem OAI.DeGiorgi.classified_or_positive_defect line 37
4. lemma OAI.DeGiorgi.positiveDefectClass_of_zero_positive line 50
5. theorem OAI.DeGiorgi.diffuse_mean_window line 66
6. theorem OAI.DeGiorgi.diffuse_strict_mean line 89