Metamath Proof Explorer


Syntax definition cqpa

Description: Algebraic completion of the p -adic rational numbers.

Ref Expression
Assertion cqpa
class _Qp