OAI/Analysis/NodalLength/ConformalLength.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpNodal.Geometry.IsConformal.derivative_apply_bound line 365
2. lemma OAI.SharpNodal.Geometry.IsConformal.lipschitzOn_symm line 385
3. lemma OAI.SharpNodal.Profiles.centeredMass_integral line 447
4. lemma OAI.SharpNodal.Profiles.massExcess_mono line 456
5. lemma OAI.SharpNodal.Profiles.unit_wave_length line 473