OAI/NumberTheory/JointDickman/Amplification/RationalThresholds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Exact common-denominator thresholds for the rational fixed-scale law

  1. theorem OAI.JointDickman.rational_threshold_fraction line 10
  2. theorem OAI.JointDickman.rational_common_denominator line 24
  3. theorem OAI.JointDickman.rationalFixedScaleLaw_of_distance_divergence line 47
  4. theorem OAI.JointDickman.rationalFixedScaleLaw_of_published line 59