No pages link to Leigh.Samphier/Sandbox/Rational Numbers with P-adic Norm is Non-Archimedean Valued Field.