Nuprl Definition : basic-padic
basic-padic(p) == ℕ × p-adics(p)
Definitions occuring in Statement :
p-adics: p-adics(p),
nat: ℕ,
product: x:A × B[x]
Definitions occuring in definition :
product: x:A × B[x],
nat: ℕ,
p-adics: p-adics(p)
FDL editor aliases :
basic-padic
Latex:
basic-padic(p) == \mBbbN{} \mtimes{} p-adics(p)
Date html generated:
2018_05_21-PM-03_23_27
Last ObjectModification:
2018_02_01-PM-02_19_07
Theory : rings_1
Home
Index