OAI/Geometry/NodalSets/Waves/WaveCenterJets.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Yau.Geometry.TripleSourceWaveData.phase line 17
  2. def OAI.Yau.Geometry.TripleSourceWaveData.amplitude line 19
  3. def OAI.Yau.Geometry.TripleSourceWaveData.wave line 22
  4. lemma OAI.Yau.Geometry.TripleSourceWaveData.zero_mem_source line 25
  5. lemma OAI.Yau.Geometry.TripleSourceWaveData.chart_zero line 29
  6. lemma OAI.Yau.Geometry.TripleSourceWaveData.center_mem_target line 33
  7. lemma OAI.Yau.Geometry.TripleSourceWaveData.inverse_center line 37
  8. lemma OAI.Yau.Geometry.TripleSourceWaveData.inverse_derivative line 41
  9. lemma OAI.Yau.Geometry.TripleSourceWaveData.phase_smooth_at_center line 47
  10. lemma OAI.Yau.Geometry.TripleSourceWaveData.phase_center line 51
  11. lemma OAI.Yau.Geometry.TripleSourceWaveData.amplitude_center line 56
  12. lemma OAI.Yau.Geometry.TripleSourceWaveData.wave_center line 61
  13. lemma OAI.Yau.Geometry.TripleSourceWaveData.wave_ne_zero line 71
  14. lemma OAI.Yau.Geometry.TripleSourceWaveData.phase_first line 77