Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0ARZ

Go back to the tag's page.

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

Thanks for Ofer Gabber

View Lemma 87.4.3 as pdf