History of tag 0EI7
| type | time | link |
|---|---|---|
| moved the statement to file obsolete.tex | 2023-05-03 | 482356f |
| changed the proof | 2022-05-19 | 8aa47f4 |
| assigned tag 0EI7 | 2018-05-03 | d2efbfd |
| created statement with label lemma-topology-I-adic-general in algebraization.tex | 2018-05-01 | 6948241 |