History for tag 0GDE—The Stacks project

History of tag 0GDE

type	time	link
assigned tag 0GDE	2021-02-08	bce5e9c
Tags: added new tags
changed the proof	2021-02-07	4047864
Small changes related to cross references
created statement with label lemma-quasi-compact-gives-quasi-compact in restricted.tex	2021-02-07	914d040
Fix up section with the main theorem Still to do: explain better why this is interesting