History of tag 08K6
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2016-11-18 |
36018f4 |
The Hilbert functor is an algebraic space
Consequence of the same for Quot
|
|
changed the statement
|
2016-11-13 |
ac93ad9 |
Use new material in quot
|
|
changed the proof
|
2014-09-06 |
b5961ce |
Mostly invisible changes
Get rid of some superfluous commands in the text
|
|
assigned tag 08K6
|
2013-02-04 |
d7ca582
|
Tags: Added new tags
Also fixed two references
|
|
created statement with label proposition-hom in quot.tex
|
2013-01-31 |
2347f73 |
Limit arguments to soup oup the Hom(F, G) result
|