Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0AS0

Go back to the tag's page.

type time link
assigned tag 0AS0 2014-10-06 5912223 
Tags: Added new tags
created statement with label lemma-ses in formal-spaces.tex 2014-10-06 783b985 
Add missing explanation

Thanks for Ofer Gabber

View Lemma 87.4.5 as pdf