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