History of tag 07EJ
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2016-03-12 |
d2f4181 |
A couple of lemmas on residue fields mapping back
|
|
changed the statement
|
2012-04-19 |
63d5458 |
Fix typo
|
|
assigned tag 07EJ
|
2012-01-14 |
93b3e1d
|
Tags: Added new tags
|
|
changed the proof
|
2012-01-04 |
1bb5477 |
Move some sections around
|
|
created statement with label lemma-regular-implies-fs in more-algebra.tex
|
2012-01-04 |
3f7d080 |
Regular local rings are formally smooth in m-adic topology
(modulo a technical assumption).
|