History of tag 0G0R
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0G0R
|
2020-05-25 |
d60dd58
|
Tags: Added new tags
|
|
changed the proof
|
2020-05-24 |
d03e4e1 |
Small fixed of problems found by scripts
|
|
changed the statement and the proof
|
2020-05-23 |
6411eab |
Finish the deformation argument
Fun!
|
|
changed the proof
|
2020-05-23 |
3f8c3a3 |
Standard lemma added for completeness
Should be moved earlier...
|
|
created statement with label lemma-no-deformations in equiv.tex
|
2020-05-23 |
ab74c12 |
No deformations
Easy peasy lemon squeezy
|