Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
p
-adic number fields
cqpa
Next ⟩
ccp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cqpa
Description:
Algebraic completion of the
p
-adic rational numbers.
Ref
Expression
Assertion
cqpa
class
_Qp