Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 00PR

Go back to the tag's page.

type time link
moved the statement to file obsolete.tex 2011-10-25 f49c205
Shorten proof ZMT

	It turned out two lemmas weren't used. These lemmas were moved
	to the "obsolete" chapter. They could have been used in the
	proof of ZMT for monogenic extensions but they weren't. In my
	opinion the proof of that lemma is short enough so we can
	continue to avoid using these lemmas.
changed the proof 2011-10-25 f49c205
Shorten proof ZMT

	It turned out two lemmas weren't used. These lemmas were moved
	to the "obsolete" chapter. They could have been used in the
	proof of ZMT for monogenic extensions but they weren't. In my
	opinion the proof of that lemma is short enough so we can
	continue to avoid using these lemmas.
changed the proof 2010-12-04 c848d70
Fix error in algebra.tex

	Pointed out by Lennart Galinat
assigned tag 00PR 2009-05-16 fad2e12
Started tags infrastructure

	new file:   scripts/add_tags.py
	modified:   scripts/functions.py
	new file:   tags/initial_tags
	new file:   tags/tags
changed the statement and the proof 2009-04-10 713944e
More neurotic changes
created statement with label lemma-make-integral-less-trivial in algebra.tex 2008-06-22 31aff90
	modified:   algebra.tex
	modified:   my.bib