OAI/Geometry/Immersion/ClosedSurface/WeightMargins.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ClosedSurfaceR4.PhaseGeometry.dominant_power_ratio line 14
  2. lemma OAI.ClosedSurfaceR4.PhaseGeometry.power_weight_pairs line 29
  3. theorem OAI.ClosedSurfaceR4.PhaseGeometry.bounded_label_weights line 50
  4. theorem OAI.ClosedSurfaceR4.PhaseGeometry.bounded_label_weights_symmetric line 77
  5. theorem OAI.ClosedSurfaceR4.PhaseGeometry.universal_normalized_phase_margin line 109
  6. theorem OAI.ClosedSurfaceR4.PhaseGeometry.universal_relative_phase_margin line 140
  7. theorem OAI.ClosedSurfaceR4.PhaseGeometry.uniform_bounded_coframe_weights line 160