OAI/Analysis/NodalLength/ChartTransfer.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpNodal.Profiles.rescaleMap_surjective line 367
2. lemma OAI.SharpNodal.Profiles.rescaleMap_ball_image line 371
3. lemma OAI.SharpNodal.Profiles.massExcess_of_exp_lower line 375
4. lemma OAI.SharpNodal.Geometry.IsConformal.uniform_chart_wave line 402