Go back to the tag's page.
Move two sections from restricted to formal-spaces Absolutely no change in mathematical content
Tags: Added new tags
Introduce rig-etale morphisms of f.a.s.