OAI/Dynamics/StandardMap/BiCocycle.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.StandardMapEntropy.transferStepEquiv line 11
  2. lemma OAI.StandardMapEntropy.transferStepEquiv_apply line 19
  3. lemma OAI.StandardMapEntropy.transferStepEquiv_symm_apply line 20
  4. def OAI.StandardMapEntropy.positivePrefix line 21
  5. def OAI.StandardMapEntropy.negativePrefix line 24
  6. def OAI.StandardMapEntropy.integerPrefix line 27
  7. lemma OAI.StandardMapEntropy.integerPrefix_nat line 30
  8. lemma OAI.StandardMapEntropy.integerPrefix_neg_nat line 31
  9. lemma OAI.StandardMapEntropy.integerPrefix_step line 33
  10. lemma OAI.StandardMapEntropy.equiv_area_symm line 41
  11. lemma OAI.StandardMapEntropy.equiv_area_trans line 46
  12. lemma OAI.StandardMapEntropy.integerPrefix_area line 51
  13. def OAI.StandardMapEntropy.torusPrefix line 67
  14. def OAI.StandardMapEntropy.torusTransfer line 69
  15. lemma OAI.StandardMapEntropy.torusTransfer_apply line 71
  16. lemma OAI.StandardMapEntropy.torusTransfer_comp line 73
  17. lemma OAI.StandardMapEntropy.torusTransfer_self line 76
  18. lemma OAI.StandardMapEntropy.torusTransfer_area line 80
  19. lemma OAI.StandardMapEntropy.torusTransfer_forward line 88