History for tag 07FD—The Stacks project

History of tag 07FD

type	time	link
assigned tag 07FD	2012-01-14	93b3e1d
Tags: Added new tags
changed the proof	2012-01-14	773743e
Popescu's proof of GND done It's like chess!
changed the statement and the proof	2012-01-12	1a1d29c
Fixup of separable residue field case Add proofs and small corrections.
created statement with label lemma-find-sequence in smoothing.tex	2012-01-12	0142d4d
Layout of proof Popescu's theorem Very sketchy... will work this out soon.