History of tag 0BJ7
Go back to the tag's page.
type |
time |
link |
changed the statement
|
2019-01-21 |
a09d0f7 |
Slogans by slogan_bot
|
changed the proof
|
2017-10-05 |
0adaa52 |
Remove 'f.f.'
Sad IMHO.
Thanks to BCnrd, Dario Weissmann, and sdf
https://stacks.math.columbia.edu/tag/02JQ#comment-2762
https://stacks.math.columbia.edu/tag/02JQ#comment-2765
https://stacks.math.columbia.edu/tag/02JQ#comment-2766
https://stacks.math.columbia.edu/tag/02JQ#comment-2767
|
changed the proof
|
2017-05-30 |
d4a6552 |
Used the wrong lemma in proof in smoothing
|
changed the proof
|
2015-12-14 |
d89696d |
Fix proof of 0BSI using 07C3
Thanks to Takashi Suzuki for a discussion and suggesting how to
move things around to get a nice proof.
|
assigned tag 0BJ7
|
2015-06-28 |
eda091b
|
Tags: Added new tags
|
created statement with label lemma-neron-colimit in smoothing.tex
|
2015-06-24 |
27ad57b |
N\'eron desingularization
Decided to add this, even though it follows from Popescu's theorem.
|