History of tag 0FDP
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0FDP
|
2019-08-28 |
c905dd0
|
Tags: added new tags
|
|
changed the statement
|
2019-08-25 |
6a31471 |
Fix long line in more-morphisms
|
|
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-smooth-diagonal-perfect in more-morphisms.tex
|
2019-08-17 |
b1e7dc9 |
smooth = perfect diagonal
Fun!
|