Loading [MathJax]/extensions/tex2jax.js

The Stacks project

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).