History of tag 0EU2
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2018-08-22 |
53a3cf7 |
Extend two lemmas to h topology
|
|
assigned tag 0EU2
|
2018-08-15 |
e0150c3
|
Tags: Added new tags
Also added a few words to intro of sections on h and ph topologies
|
|
created statement with label lemma-verify-site-h in flat.tex
|
2018-08-14 |
83a175f |
General nonsense concerning h topology
More to come...
|