Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0GVR

Go back to the tag's page.

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

View Lemma 87.37.2 as pdf