History of tag 07BU
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2020-12-16 |
d6aed05 |
An error in 0BJ6
Thanks to æä¸ç¬ who not only pointed out the mistake (The inequality
$r - d - c \ge 0$ is not true in general. In fact, the proof actually
shows $r - d - c \le 0$.) but also contributed the corrected proof.
All further mistakes introduced in this commit are mine!
|
|
changed the proof
|
2013-03-27 |
ba00249 |
New macro: \NL for naive cotangent complex
The naive cotangent complex is an important ingredient to several
topics discussed in the Stacks project. It deserves its own macro.
|
|
assigned tag 07BU
|
2011-12-22 |
0ffbd53
|
TAGS: added new tags
|
|
changed the proof
|
2011-12-22 |
0ffbd53 |
TAGS: added new tags
|
|
created statement with label lemma-smooth-at-point in algebra.tex
|
2011-12-22 |
7a98453 |
Fix use NL in algebra chapter
Fallout from improvement in previous commit.
|