History of tag 0GIB
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 0GIB
|
2021-04-10 |
147c399
|
Tags: added new tags
|
|
created statement with label theorem-contractions in artin.tex
|
2021-04-10 |
8be4594 |
Finish Artin's theorem on contractions
Still a bit rough
|