User:Leigh.Samphier/Refactor

Refactor
User:Leigh.Samphier/Refactor/


 * Definition:Base Axiom (Matroid)


 * Definition:Closure Axioms (Matroid) like Definition:Kuratowski Closure Operator


 * P-adic Norm forms Non-Archimedean Valued Field/Rational Numbers


 * P-adic Norm forms Non-Archimedean Valued Field/P-adic Numbers


 * Definition:Compact Space/Topology/Definition 6