Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Add a theorem by Kohlberg and Neyman on semicontractions
  2. Add a lemma by Benoist-Quint on cohomologous functions
  3. Modernize, simplify, add more text explanations
Changeset 7744:4f12bc22a91d by sgouezel:
Add a theorem by Kohlberg and Neyman on semicontractions
The file was addedthys/Ergodic_Theory/Kohlberg_Neyman_Karlsson.thy
The file was modified thys/Ergodic_Theory/ROOT (diff)
Changeset 7743:a32e8fd30744 by sgouezel:
Add a lemma by Benoist-Quint on cohomologous functions
The file was modified thys/Ergodic_Theory/Invariants.thy (diff)
Changeset 7742:290bd4f1b756 by sgouezel:
Modernize, simplify, add more text explanations
The file was addedthys/Ergodic_Theory/Asymptotic_Density.thy
The file was modified thys/Ergodic_Theory/Ergodicity.thy (diff)
The file was modified thys/Ergodic_Theory/Fekete.thy (diff)
The file was modified thys/Ergodic_Theory/Gouezel_Karlsson.thy (diff)
The file was modified thys/Ergodic_Theory/Invariants.thy (diff)
The file was modified thys/Ergodic_Theory/Kingman.thy (diff)
The file was modified thys/Ergodic_Theory/Measure_Preserving_Transformations.thy (diff)
The file was modified thys/Ergodic_Theory/ROOT (diff)
The file was modified thys/Ergodic_Theory/Recurrence.thy (diff)
The file was modified thys/Ergodic_Theory/SG_Library_Complement.thy (diff)
The file was removedthys/Ergodic_Theory/Banach_Density.thy