OAI/Dynamics/StandardMap/MeanCancellation.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.StandardMapEntropy.cancellation_weight_sum line 11
  2. def OAI.StandardMapEntropy.cancellationWeight line 28
  3. lemma OAI.StandardMapEntropy.cancellationWeight_eq_indicator line 30
  4. lemma OAI.StandardMapEntropy.integrable_cancellationWeight line 34
  5. lemma OAI.StandardMapEntropy.integral_cancellationWeight line 37
  6. lemma OAI.StandardMapEntropy.integral_cancellationWeight_le line 41
  7. lemma OAI.StandardMapEntropy.integral_cancellationLoss_le line 50
  8. def OAI.StandardMapEntropy.doublingConstant line 88
  9. lemma OAI.StandardMapEntropy.doublingConstant_pos line 89
  10. lemma OAI.StandardMapEntropy.eventually_meanDeficit_doubling line 91