OAI/Geometry/Cannon/Flows/FlowPuncture.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CannonRelease.flow_scale_visual line 32
  2. lemma OAI.CannonRelease.flow_center_zā‚€ line 46
  3. def OAI.CannonRelease.flowPuncture line 64
  4. theorem OAI.CannonRelease.flow_puncture_multiplicity line 75
  5. theorem OAI.CannonRelease.flow_near_probability line 101