Rigid-analytic space

Summary