Syntax definition cqpa

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

	Ref	Expression
Assertion	cqpa	class _Qp