Sep
13
SpecQp
Welcome (back) to SpecQp
Welcome (back) to $\operatorname{Spec}(\mathbb{Q}_p)$