History of tag 0FVT
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2020-11-13 |
4206155 |
chern -> Chern and noetherian -> Noetherian
Thanks to Lor Gro
https://stacks.math.columbia.edu/tag/0FWC#comment-5372
|
|
assigned tag 0FVT
|
2019-12-08 |
fb24196
|
Tags: added new tags
|
|
created statement with label lemma-check-over-extension in weil.tex
|
2019-12-07 |
e4f431e |
A lemma on checking Weil coh theories
There should also be a version for cohomology theories defined using
axioms (A), (B), and (C).
|