OAI/NumberTheory/DukePrimeDegree/Geometry/BoundedPhysicalRectangles.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Independent physical rectangles with compact time bounds

  1. theorem OAI.DukePrimeDegree.exists_shifted_root_rectangle_within line 13
  2. theorem OAI.DukePrimeDegree.exists_bounded_remainingRoot_physical_independent_box line 45