History of tag 03IE
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 03IE
|
2009-10-25 |
2ad4800
|
Tags: New tags added and two fixed
|
|
created statement with label lemma-factor-through-open-subspace in spaces-properties.tex
|
2009-10-22 |
2bd9d8e |
Properties of Spaces: Reasonable spaces have sober underlying |X|
We have not yet completely proved this but it looks like it is
going to work out. This commit has two FIXMES
|