Syntax definition cqp

Description: The set of p -adic rational numbers.

	Ref	Expression
Assertion	cqp	class Qp