History of tag 0GHC
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2021-04-04 |
b4aaebe |
Another terrible lemma
Just awful. Strange how such beautiful math can be made ugly when I
write it like this.
|
|
assigned tag 0GHC
|
2021-04-01 |
287eac1
|
Tags: added new tags
|
|
created statement with label lemma-functor-is-solution in artin.tex
|
2021-03-18 |
6d8ce7c |
Start writing on contractions a la Artin
Not sure how to improve on the notation...
|