Go back to the tag's page.
Improve exposition of P morphisms
Tags: Added new tags
Preparation for approximation for henselian pairs