OAI/NumberTheory/DukePrimeDegree/Geometry/PrefixRegionAmbientCandidates.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

One ambient good set for all long-box candidates in a bounded region

  1. theorem OAI.DukePrimeDegree.RootPrefixCoordinates.ae_ambient_region_candidates line 19