Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 05F9

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 proof 2011-08-10 996a95d
LaTeX: fix colim

	Introduced the macro

	\def\colim{\mathop{\rm colim}\nolimits}

	and changed all the occurences of \text{colim} into \colim.
assigned tag 05F9 2010-10-23 ae2a311
Tags: Added new tags
created statement with label lemma-dimension-fibres-constructible in more-morphisms.tex 2010-10-19 5ca7183
Dimension fibres

	If f : X ---> Y is of finite presentation then the set of points
	in Y where the fibres have some given dimension d is locally
	constructible in Y.