History of tag 0GXI
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GXI
|
2022-05-04 |
bb8c895
|
Tags: Added new tags
|
|
changed the label to lemma-taut-ascent-weakly-adic
|
2022-04-11 |
9be8653 |
Update formal-spaces to match new definitions
|
|
changed the statement
|
2022-04-11 |
9be8653 |
Update formal-spaces to match new definitions
|
|
created statement with label lemma-ascent-taut-weakly-adic in formal-spaces.tex
|
2022-04-09 |
0ff2cb0 |
More general stuff about topological rings
Sort of fun definition of a "weakly adic" topological ring. Not sure
about the choice of the terminology... let me know if you have a better
one.
|