OAI/Analysis/NodalLength/GlobalProfiles.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpNodal.Profiles.WeightedProfileBounds.plain_upper line 335
2. lemma OAI.SharpNodal.Profiles.WeightedProfileBounds.plain_lower line 340
3. lemma OAI.SharpNodal.Profiles.local_profile_le_sup line 347
4. lemma OAI.SharpNodal.Profiles.sup_profile_le_local line 379
5. lemma OAI.SharpNodal.Geometry.IsConformal.exists_profile_ball line 451
6. lemma OAI.SharpNodal.Geometry.sup_profile_local_zero line 489
7. lemma OAI.SharpNodal.Geometry.global_sup_profile_zero line 566