History of tag 0GDU
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2021-04-12 |
2dce121 |
Some advice for the reader
This is the final commit on the Artin contraction theorem for now. Sure,
some of the proofs could be improved on, but it seems rather clear
that it all works the way things are stated now.
|
|
assigned tag 0GDU
|
2021-02-08 |
bce5e9c
|
Tags: added new tags
|
|
created statement with label theorem-dilatations in restricted.tex
|
2021-02-08 |
b3d09ba |
Finish cleanup
Finally!
|