History of tag 03LO
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2014-10-01 |
c44fa2c |
A couple of lemmas on existence invariant opens
Thanks to Bharhav Bhatt and Ofer Gabber
|
|
assigned tag 03LO
|
2009-12-17 |
8de7ea3
|
Tags: Added new tags
Also commented obsolete tags corresponding to sections of
desirables.tex that have been removed.
|
|
created statement with label lemma-constructing-invariant-opens in groupoids.tex
|
2009-12-17 |
27952bc |
Groupoids: Constructing invariant opens
This we have already used elsewhere, but it seems wise to
include it as a separate result.
TODO: Put in references to this lemma where the result is used.
|