OAI/Geometry/NodalSets/Elliptic/CoordinateTransverseDisk.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Yau.Geometry.TransverseCoord line 10
  2. def OAI.Yau.Geometry.transverseProjection line 12
  3. def OAI.Yau.Geometry.transverseInclusion line 15
  4. def OAI.Yau.Geometry.transverseDisk line 32
  5. lemma OAI.Yau.Geometry.transverseProjection_inclusion line 35
  6. lemma OAI.Yau.Geometry.transverseProjection_axis line 40
  7. lemma OAI.Yau.Geometry.transverseInclusion_sourceNorm line 45
  8. lemma OAI.Yau.Geometry.transverseProjection_lipschitz line 51