History of tag 0DR5
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0DR5
|
2017-04-29 |
c0848d8
|
Tags: Added new tags
|
|
changed the statement and the proof
|
2017-04-28 |
e153905 |
Work out versal rings + formal branches
Yes, this is an absurd amount of detail... but we could still add much
much more detail... It all depends on what you can grok
|
|
created statement with label lemma-map-of-components in stacks-geometry.tex
|
2017-04-25 |
10c2e39 |
Make new chapter compile
Also make it conform to the (ridiculous) coding standards
|