History of tag 0FCW
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0FCW
|
2019-08-28 |
c905dd0
|
Tags: added new tags
|
|
changed the statement and the proof
|
2019-08-17 |
afc4b7a |
Fix idiotic error in last commit
As I was walking down the street it occured to me that what I had just
proven was wrong and in fact any nontrivial closed immersion would be a
counter example...
|
|
created statement with label lemma-local-perfect-diagonal in dpa.tex
|
2019-08-17 |
b1e7dc9 |
smooth = perfect diagonal
Fun!
|