diff options
| author | Cyril Cohen | 2019-11-29 10:46:42 +0100 |
|---|---|---|
| committer | Assia Mahboubi | 2019-11-29 10:46:42 +0100 |
| commit | 8187ed3b12da2c164f1fc90c634b4330b796ab44 (patch) | |
| tree | 206b9de8d5857e4ec54d573b057c37c19fa376b7 /CHANGELOG.md | |
| parent | 68efa038ad86f16249c02ac3210875a5edcc569a (diff) | |
Return of PR #226: adds relevant theorems when fcycle f (orbit f x) and the needed lemmas (#261)
* adds relevant theorems when fcycle f (orbit f x) and the needed lemmas
* Generalize f_step lemmas
* Generalizations, shorter proofs, bugfixes, CHANGELOG
- changelog, renamings and comments
- renaming `homo_cycle` to `mem_fcycle` and other small renamings
- name swap `mem_orbit` and `in_orbit`
- simplifications
- generalization following @pi8027's comment
- Getting rid of many uniquness condition in `fingraph.v`
- added cases to the equivalence `orbitPcycle`
- added `cycle_catC`
Diffstat (limited to 'CHANGELOG.md')
0 files changed, 0 insertions, 0 deletions