Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0AQ1

Go back to the tag's page.

type time link
changed the proof 2021-02-07 914d040
Fix up section with the main theorem

Still to do: explain better why this is interesting
assigned tag 0AQ1 2014-10-03 9a68c95
Tags: Added new tags
created statement with label lemma-formal-completion-types in formal-spaces.tex 2014-09-29 9765367
Properties of formal completion