Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0GVU

Go back to the tag's page.

type time link
assigned tag 0GVU 2022-04-04 559a490 
Tags: added new tags
created statement with label lemma-reduction-recompletion in formal-spaces.tex 2022-03-31 9390db8 
Recompletion of formal algebraic spaces

View Lemma 87.37.5 as pdf