Talk:P-adic Number times P-adic Norm is P-adic Unit

From ProofWiki
Jump to navigation Jump to search

Regarding 2 results

Creating two pages separates the fact that the same $n \in \Z$ serves as the value of the P-adic norm and as the multiple that gives a P-adic unit. I have restated the theorem to make it seem more like a single result.

Yes that makes sense. Refactor template removed. Cheers. --prime mover (talk) 20:12, 9 April 2020 (EDT)