OAI/Geometry/NodalSets/Elliptic/CorrugationGlobalJets.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Yau.Geometry.corrugationCellIndex line 9
  2. def OAI.Yau.Geometry.corrugationCellPoint line 12
  3. def OAI.Yau.Geometry.corrugationCellRadius line 15
  4. lemma OAI.Yau.Geometry.corrugationCellPoint_bounds line 18
  5. lemma OAI.Yau.Geometry.corrugationCellPoint_reconstruct line 22
  6. lemma OAI.Yau.Geometry.corrugationCellRadius_properties line 27
  7. lemma OAI.Yau.Geometry.corrugationPeriodicWell_global_jets line 32
  8. lemma OAI.Yau.Geometry.corrugationPeriodicWell_global_derivative_bound line 43
  9. lemma OAI.Yau.Geometry.corrugationPeriodicWell_global_radial_jets line 51