History of tag 0ARA
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2021-02-07 |
914d040 |
Fix up section with the main theorem
Still to do: explain better why this is interesting
|
|
assigned tag 0ARA
|
2014-10-03 |
9a68c95
|
Tags: Added new tags
|
|
changed the proof
|
2014-09-27 |
0507efb |
Algebraization of dilatations
Done with the general version. Still want to add some words about
rig-monomorphisms and how this is related to separatedness of the output
of the constuction.
|
|
changed the proof
|
2014-09-27 |
ad66b6e |
Faithfulness of the completion functor
|
|
created statement with label lemma-dilatations-affine in restricted.tex
|
2014-09-25 |
1c1719d |
Start of proof dilatations theorem
|