OAI/MathematicalPhysics/CriticalSK/Powers.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CriticalSK.rpow_three_eighth_sub_le line 33
  2. lemma OAI.CriticalSK.rpow_three_eighth_mono line 52
  3. def OAI.CriticalSK.edgeError line 55
  4. lemma OAI.CriticalSK.edgeError_mono line 57
  5. lemma OAI.CriticalSK.edgeError_increment line 64
  6. lemma OAI.CriticalSK.edgeError_gap_comparison_mono line 73
  7. lemma OAI.CriticalSK.edgeError_eigenvalue_comparison_mono line 87
  8. lemma OAI.CriticalSK.edgeError_relative line 103
  9. lemma OAI.CriticalSK.third_power_square line 130
  10. lemma OAI.CriticalSK.fifth_third_power line 134
  11. lemma OAI.CriticalSK.rpow_ratio_tendsto_zero line 139
  12. lemma OAI.CriticalSK.ceil_rpow_ratio_tendsto_zero line 149