Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 035O

Go back to the tag's page.

type time link
changed the proof 2011-08-13 4ea0b65 
Whitespace changes
assigned tag 035O 2009-08-29 23a56bf 
Added new tags

	modified:   tags/tags
created statement with label lemma-normalization-reduced in morphisms.tex 2009-08-24 9f656a3 
Finished work for now on section on normalization

	modified:   morphisms.tex

View Lemma 29.54.2 as pdf