OAI/Geometry/NodalSets/Elliptic/SeedConcretePoint.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Yau.Target.seedPointVector line 11
  2. lemma OAI.Yau.Target.seedPointVector_norm line 13
  3. def OAI.Yau.Target.seedPoint line 20
  4. lemma OAI.Yau.Target.seedPoint_z1 line 22
  5. lemma OAI.Yau.Target.seedPoint_z2 line 25
  6. lemma OAI.Yau.Target.seedPoint_quadratic line 30
  7. lemma OAI.Yau.Target.seedPoint_unequal_radii line 33
  8. lemma OAI.Yau.Target.seedPoint_slitPlane line 37
  9. lemma OAI.Yau.Target.sphericalSeed_at_seedPoint line 41
  10. lemma OAI.Yau.Target.sphericalSeed_nonzero line 45