Go back to the tag's page.
Tags: Added new tags
Fix a lemma The statement of lemma-w-local-algebraic-residue-field-extensions was wrong. Fixed and now there is a proof as well.
Weakly etale versus ind-etale Still a bit rough.