History of tag 0AR7
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2021-04-04 |
d398e07 |
Finally able to use the result from 9f4531d
I've wanted to use this for a long time, but I didn't know how or where
I would use it. I wrote it in 2014! Fun.
|
|
assigned tag 0AR7
|
2014-10-03 |
9a68c95
|
Tags: Added new tags
|
|
changed the statement and 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.
|
|
created statement with label lemma-faithful in restricted.tex
|
2014-09-27 |
ad66b6e |
Faithfulness of the completion functor
|