OAI/Analysis/AllenCahn/ExtremeRays.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DeGiorgiCompactness.jetSegmentMass line 15
2. def OAI.DeGiorgiCompactness.jetDirectional line 18
3. lemma OAI.DeGiorgiCompactness.jetDirectional_continuous line 21
4. lemma OAI.DeGiorgiCompactness.jetDirectional_add_smul line 27
5. lemma OAI.DeGiorgiCompactness.jetSegmentMass_add_smul line 33
6. lemma OAI.DeGiorgiCompactness.jetSegmentMass_continuous_compact line 51
7. lemma OAI.DeGiorgiCompactness.jetCone_window_of_extreme line 71