Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
p
-adic number fields
cqp
Next ⟩
czp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cqp
Description:
The set of
p
-adic rational numbers.
Ref
Expression
Assertion
cqp
class
Qp