Summary
- fixed by simp add: greaterThan_0
The file was modified | thys/Ergodic_Theory/Invariants.thy (diff) |
The file was modified | thys/Ergodic_Theory/Recurrence.thy (diff) |
The file was modified | thys/Ergodic_Theory/Invariants.thy (diff) |
The file was modified | thys/Ergodic_Theory/Recurrence.thy (diff) |