OAI/Dynamics/StandardMap/ArrayTests.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.StandardMapEntropy.arrayTranslate line 11
  2. lemma OAI.StandardMapEntropy.continuous_arrayTranslate line 20
  3. lemma OAI.StandardMapEntropy.arrayTranslate_zero line 25
  4. lemma OAI.StandardMapEntropy.arrayTranslate_add line 29
  5. def OAI.StandardMapEntropy.arrayTranslation line 34
  6. def OAI.StandardMapEntropy.arrayDilate line 41
  7. lemma OAI.StandardMapEntropy.continuous_arrayDilate line 53
  8. lemma OAI.StandardMapEntropy.arrayDilate_affine line 58
  9. lemma OAI.StandardMapEntropy.arrayTranslate_affine line 64
  10. lemma OAI.StandardMapEntropy.arrayDilate_mem_affine_iff line 69
  11. def OAI.StandardMapEntropy.arrayShortfall line 81
  12. def OAI.StandardMapEntropy.arrayJ line 83
  13. def OAI.StandardMapEntropy.arrayV line 85
  14. lemma OAI.StandardMapEntropy.continuous_arrayShortfall line 87
  15. lemma OAI.StandardMapEntropy.continuous_arrayJ line 89
  16. lemma OAI.StandardMapEntropy.continuous_arrayV line 92
  17. lemma OAI.StandardMapEntropy.arrayJ_eq line 94
  18. lemma OAI.StandardMapEntropy.arrayJ_nonneg line 104
  19. lemma OAI.StandardMapEntropy.arrayV_nonneg line 107
  20. lemma OAI.StandardMapEntropy.array_zero_test_halves line 108