ScalingStacks

Proposition 2.52. The Tate algebra $\mathcal{T}_{n}$ is Noetherian. All of its ideals are closed. ([BGR, Theorem 5.2.6.1, Corollary 5.2.7.2], [FvdP, Theorem 3.2.1])