History of tag 0GBS
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2022-04-11 |
9be8653 |
Update formal-spaces to match new definitions
|
|
changed the proof
|
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.
|
|
assigned tag 0GBS
|
2021-02-08 |
bce5e9c
|
Tags: added new tags
|
|
created statement with label lemma-adic-homomorphism in formal-spaces.tex
|
2021-02-02 |
19b5155 |
Spell out things a bit more in formal-spaces
Kind of terrible...
|