Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
p
-adic number fields
crqp
Next ⟩
cqp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
crqp
Description:
Equivalence relation representatives for
df-qp
.
Ref
Expression
Assertion
crqp
class
/Qp