OAI/NumberTheory/DukePrimeDegree/Geometry/ExponentialCutBoundary.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Boundary avoidance for exponentially sized families of cuts

  1. theorem OAI.DukePrimeDegree.ae_eventually_avoid_exponential_cut_levels line 13