History of tag 0AR9
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-17 |
0930990 |
fix small typos
|
|
changed the label to lemma-smash-away-from-T
|
2021-02-07 |
914d040 |
Fix up section with the main theorem
Still to do: explain better why this is interesting
|
|
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 0AR9
|
2014-10-03 |
9a68c95
|
Tags: Added new tags
|
|
changed the statement
|
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.
|
|
created statement with label remark-smash-away-from-T in restricted.tex
|
2014-09-27 |
ad66b6e |
Faithfulness of the completion functor
|