History of tag 0G1S
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2020-11-13 |
581b6d3 |
A derived complete wrt I => (A, I) henselian
Thanks to Kestutis Cesnavicius
https://stacks.math.columbia.edu/tag/0ALJ#comment-5370
|
|
assigned tag 0G1S
|
2020-06-19 |
c80d749
|
Tags: Added new tags
|
|
created statement with label lemma-largest-ideal-henselian in more-algebra.tex
|
2020-06-16 |
b9fe2c3 |
Largest ideal making a henselian pair
THanks to Laurent Moret-Bailly
https://stacks.math.columbia.edu/tag/0FWT#comment-5030
|