OAI/Dynamics/EntropyCounterexample/SphereOverlapDoubling.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Problem340.SphereOverlapDoubling.Overlap line 13
2. def OAI.Problem340.SphereOverlapDoubling.puncturedSquare line 15
3. lemma OAI.Problem340.SphereOverlapDoubling.continuous_puncturedSquare line 18
4. lemma OAI.Problem340.SphereOverlapDoubling.radialRetraction_square line 21
5. def OAI.Problem340.SphereOverlapDoubling.overlapSquare line 27
6. lemma OAI.Problem340.SphereOverlapDoubling.continuous_overlapSquare line 30
7. lemma OAI.Problem340.SphereOverlapDoubling.overlapSquare_coe line 34
8. lemma OAI.Problem340.SphereOverlapDoubling.overlapHomeomorph_square line 39
9. lemma OAI.Problem340.SphereOverlapDoubling.circleHomeomorphClock_eq line 43
10. lemma OAI.Problem340.SphereOverlapDoubling.overlapEquivClock_square line 47
11. lemma OAI.Problem340.SphereOverlapDoubling.overlapHomologyEquivClock_intertwines line 61