OAI/NumberTheory/DukePrimeDegree/Geometry/PrefixWindowProportionality.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Large-window conditionals determine the proportional class of an actual leaf

  1. theorem OAI.DukePrimeDegree.RootPrefixBox.ae_basedGroup_proportional_window line 21