History of tag 0F0H
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2019-10-07 |
5806a04 |
Add a case to technical lemma comparing big/small
Thanks to David Hansen
|
|
changed the statement and the proof
|
2018-10-27 |
44ac349 |
Refer to items as properties
This helps me check correctness (using one of my scripts)...
|
|
assigned tag 0F0H
|
2018-10-15 |
329b4f9
|
Tags: Added new tags
|
|
created statement with label lemma-compare-fppf-etale in etale-cohomology.tex
|
2018-10-15 |
bdb08a2 |
Use new material from a6816109 fppf/etale
|