Go back to the tag's page.
Move sections into new chapter In particular we now have -- definition of pi_1 -- purity of branch locus in the chapter on fundamental groups
Tags: Added new tags
Start using the new notation + lemma