OAI/NumberTheory/DukePrimeDegree/Geometry/LargePhysicalRectangles.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Bounded independent physical rectangles covering arbitrary compact fibers

  1. theorem OAI.DukePrimeDegree.RootPrefixCoordinates.exists_large_physical_rectangle line 18
  2. theorem OAI.DukePrimeDegree.RootPrefixCoordinates.exists_large_independent_physical_rectangle line 58