Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
p
-adic number fields
czp
Next ⟩
cqpa
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
czp
Description:
The set of
p
-adic integers. (Not to be confused with
czn
.)
Ref
Expression
Assertion
czp
class
ℤ
p