OAI/Combinatorics/ThinTrees/Normalization/Parameters.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Normalization parameters.

  1. lemma OAI.AlgorithmicThinTrees.Normalization.multiplier_bounds line 14
  2. lemma OAI.AlgorithmicThinTrees.Normalization.normalizationLength_suffices line 31
  3. lemma OAI.AlgorithmicThinTrees.Normalization.threshold_le line 50
  4. lemma OAI.AlgorithmicThinTrees.Normalization.multiplier_parts line 74
  5. theorem OAI.AlgorithmicThinTrees.Normalization.normalizedScales_correct line 83