Metamath Proof Explorer


Syntax definition cqp

Description: The set of p -adic rational numbers.

Ref Expression
Assertion cqp class Qp