OAI/NumberTheory/TotientAsymptotic/NaturalCoordinateUpper.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Uniform coordinate scale at each fixed distance below the natural dimension.

  1. lemma OAI.TotientAsymptotic.direct_scale_eq line 11
  2. lemma OAI.TotientAsymptotic.natural_coordinate_scale_upper line 17