History of tag 0GAG
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-17 |
0930990 |
fix small typos
|
|
assigned tag 0GAG
|
2021-02-01 |
52667c8
|
Tags: added new tags
|
|
changed the statement
|
2021-01-27 |
a0fcb52 |
More cleanup in restricted
Taking way too much effort to do this...
|
|
changed the label to lemma-NL-base-change
|
2021-01-25 |
ec7a085 |
Clean up material on rig-smooth maps a bit more
|
|
changed the statement and the proof
|
2021-01-25 |
ec7a085 |
Clean up material on rig-smooth maps a bit more
|
|
created statement with label lemma-zero-after-modding-out-better in restricted.tex
|
2021-01-16 |
efd24a4 |
Rough discussion of rig-smooth maps
Very rough discussion. The material in this commit will gives us a
strengthening of 0AK9 to rig-smooth maps and moreover it corrects the
mistake of the proof of that lemma!
|