History for tag 0APV—The Stacks project

History of tag 0APV

type	time	link
changed the statement and the proof	2021-02-07	914d040
Fix up section with the main theorem Still to do: explain better why this is interesting
assigned tag 0APV	2014-10-03	9a68c95
Tags: Added new tags
created statement with label lemma-map-completions-representable in formal-spaces.tex	2014-09-29	9765367
Properties of formal completion