Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0AQ6

Go back to the tag's page.

type time link
assigned tag 0AQ6 2014-10-03 9a68c95 
Tags: Added new tags
changed the proof 2014-09-30 199505c 
Fix self-reference
created statement with label lemma-permanence-finite-type in formal-spaces.tex 2014-09-29 36a3817 
Trivial lemmas in formal-spaces.tex

View Lemma 87.24.5 as pdf