User:Leigh.Samphier/Todo

Refactor

 * Definition:Normed Algebra


 * Definition:Normed Division Ring


 * Definition:Normed Division Algebra


 * Definition:Norm/Ring


 * Definition:Norm/Division Ring


 * Finite Normed Ring is Field


 * Normed Ring has No Proper Zero Divisors

Create theorem Composition of Isometries is Isometry

 * Check Normed Division Ring Completions are Isometric and Isomorphic/Lemma 1

Create second proof to P-adic Norm not Complete on Rational Numbers

 * $\quad \Q_p$ is uncountable, $\Q$ is countable.