History of tag 0GXC
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GXC
|
2022-05-04 |
bb8c895
|
Tags: Added new tags
|
|
changed the statement
|
2022-04-10 |
aab80f0 |
Small changes to formal-spaces
|
|
created statement with label lemma-adic-taut 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.
|