History of tag 0DCT
| type | time | link |
|---|---|---|
| changed the proof | 2021-10-08 | 10ab5b2 |
| changed the proof | 2018-01-30 | dd343c6 |
| assigned tag 0DCT | 2017-03-08 | 22ee488 |
| created statement with label lemma-absolutely-integrally-closed-henselian-pair in more-algebra.tex | 2017-03-08 | 5ec8f00 |