OAI/NumberTheory/DukePrimeDegree/Geometry/RootStableHolonomy.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Root-leaf constancy along every stable root pair off a null set

  1. lemma OAI.DukePrimeDegree.root_conjugate_tendsto_one line 16
  2. lemma OAI.DukePrimeDegree.basedRealMeasure_zero_of_unit line 31
  3. theorem OAI.DukePrimeDegree.exists_nullset_nonparallel_root_constancy line 39