OAI/Geometry/NodalSets/Elliptic/CorrugationFrequencyScale.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Yau.Geometry.corrugationFrequency line 14
  2. def OAI.Yau.Geometry.corrugationSubdivision line 16
  3. def OAI.Yau.Geometry.corrugationScale line 18
  4. lemma OAI.Yau.Geometry.corrugationScale_formula line 20
  5. lemma OAI.Yau.Geometry.corrugationFrequency_positive line 24
  6. lemma OAI.Yau.Geometry.corrugationSubdivision_positive line 28
  7. lemma OAI.Yau.Geometry.corrugationScale_positive line 32
  8. lemma OAI.Yau.Geometry.corrugationFrequency_eighth line 37
  9. lemma OAI.Yau.Geometry.corrugationScale_exact line 42
  10. lemma OAI.Yau.Geometry.corrugation_scale_rate_identities line 49
  11. lemma OAI.Yau.Geometry.corrugation_power_reciprocal_tendsto line 64
  12. lemma OAI.Yau.Geometry.corrugationScale_tendsto line 71
  13. lemma OAI.Yau.Geometry.corrugation_frequency_scale_tendsto line 77