Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0BXA

Go back to the tag's page.

type time link
assigned tag 0BXA 2016-02-09 1533f4c 
Tags: Added new tags
created statement with label lemma-normalization-is-normalization in morphisms.tex 2016-02-07 357b1d6 
Add lemmas on normalization

View Lemma 29.53.7 as pdf