OAI/Geometry/NodalSets/Elliptic/SeedCoordPatchTopology.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Yau.Target.seedCoordPatch line 10
  2. def OAI.Yau.Target.seedCoordCube line 12
  3. lemma OAI.Yau.Target.seedCoordPatch_open line 14
  4. lemma OAI.Yau.Target.seedCoordPatch_closure_subset line 17
  5. lemma OAI.Yau.Target.seedCoordPatch_compactClosure line 22
  6. lemma OAI.Yau.Target.seedCoordCube_image line 36
  7. lemma OAI.Yau.Target.seedCoordCube_subset line 42
  8. lemma OAI.Yau.Target.seedCoordCube_Icc line 45