OAI/NumberTheory/DukePrimeDegree/Geometry/CompactPhysicalRectangles.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Physical rectangles containing prescribed compact orbit pieces

  1. theorem OAI.DukePrimeDegree.exists_shifted_root_rectangle_covering_compact line 13