History of tag 0GHB
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2021-04-04 |
0bd0708 |
Apply proposition to get next step in contractions
The question is whether these proofs are so damn hard because we don't
insist on separation axioms everywhere or if it is just damn hard.
|
|
assigned tag 0GHB
|
2021-04-01 |
287eac1
|
Tags: added new tags
|
|
changed the proof
|
2021-03-20 |
0847c49 |
A bit more editing in contractions section
|
|
created statement with label lemma-solution in artin.tex
|
2021-03-18 |
6d8ce7c |
Start writing on contractions a la Artin
Not sure how to improve on the notation...
|