OAI/Probability/RadialTransition/TetraGeometry.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RadialTransition.dist_le_twice_coordinate line 10
  2. def OAI.RadialTransition.tetraEdge line 20
  3. def OAI.RadialTransition.tetraVertex line 22
  4. def OAI.RadialTransition.tetraEpsilon line 25
  5. lemma OAI.RadialTransition.tetraEdge_pos line 27
  6. lemma OAI.RadialTransition.tetraEpsilon_pos line 32
  7. lemma OAI.RadialTransition.tetraVertex_zero line 34
  8. lemma OAI.RadialTransition.tetraVertex_coordinate line 36
  9. lemma OAI.RadialTransition.tetraVertex_dist line 50
  10. def OAI.RadialTransition.tetraRegion line 64
  11. lemma OAI.RadialTransition.tetraRegion_error line 67
  12. lemma OAI.RadialTransition.tetraRegion_core_zero line 80
  13. lemma OAI.RadialTransition.tetraRegion_cube line 103