OAI/Combinatorics/Progressions/Dynamics/ConstructLayerResetScales.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.Erdos3.LayerResetScales line 11
  2. def OAI.Erdos3.layerResetThreshold line 38
  3. def OAI.Erdos3.layerResetCellScale line 40
  4. theorem OAI.Erdos3.layerResetThreshold_terminal line 42
  5. theorem OAI.Erdos3.layerResetThreshold_initial line 45
  6. theorem OAI.Erdos3.layerResetThreshold_pos line 48
  7. theorem OAI.Erdos3.layerResetThreshold_ge line 51
  8. theorem OAI.Erdos3.layerResetCellScale_sq line 56
  9. theorem OAI.Erdos3.layerResetCellScale_ge line 63
  10. theorem OAI.Erdos3.layerResetCellScale_power line 69
  11. theorem OAI.Erdos3.layerReset_exponent_polynomial line 76
  12. theorem OAI.Erdos3.LayerResetScales.reset_from line 92
  13. theorem OAI.Erdos3.LayerResetScales.density_increment line 177
  14. def OAI.Erdos3.powerLayerResetScales line 196