Go back to the tag's page.
Fix proof of Lemma Tag 0ECN It was too confusing and probably not correct.
Tags: added new tags
Grothendieck's connectedness theorem