$\mathbb{Z}_p$ Is the $p$-Adic Completion of $\mathbb{Z}$

Pull Requests

New Pull Request

No pull requests yet

Pull requests let you propose changes to this theorem's content.

Create Pull Request