OAI/Dynamics/StandardMap/ArrayAffinity.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.StandardMapEntropy.dyadicUnit line 11
  2. lemma OAI.StandardMapEntropy.dyadicUnit_val line 12
  3. lemma OAI.StandardMapEntropy.dyadicUnit_pos line 13
  4. lemma OAI.StandardMapEntropy.dyadic_common_grid line 14
  5. lemma OAI.StandardMapEntropy.dyadic_unit_power line 27
  6. lemma OAI.StandardMapEntropy.array_affine_values_of_zero line 31
  7. lemma OAI.StandardMapEntropy.array_affine_of_zero_tests line 43
  8. abbrev OAI.StandardMapEntropy.ArrayTestIndex line 61
  9. def OAI.StandardMapEntropy.arrayTest line 62
  10. lemma OAI.StandardMapEntropy.continuous_arrayTest line 63
  11. lemma OAI.StandardMapEntropy.arrayTest_nonneg line 65
  12. lemma OAI.StandardMapEntropy.arrayTest_affine_zero line 67
  13. lemma OAI.StandardMapEntropy.nonaffine_iff_positive_test line 83