Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 01Y6

Go back to the tag's page.

type time link
changed the proof 2011-08-10 65ce54f
LaTeX: \Spec

	Introduced the macro

	\def\Spec{\mathop{\rm Spec}}

	and changed all the occurences of \text{Spec} into \Spec.
changed the statement and the proof 2009-06-18 fc8d4b8
Finished the proof of higher direct images coherent sheaves under
proper morphisms

	modified:   coherent.tex
assigned tag 01Y6 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-05-07 8937537
Somewhat horrible reformulation of devissage...

	modified:   coherent.tex
created statement with label lemma-finite-pushforward-coherent in coherent.tex 2009-04-28 8e82ace
Started computing cohomology of projective space

	modified:   algebra.tex
	modified:   coherent.tex
	modified:   cohomology.tex