Syntax definition ccp

Description: Metric completion of _Qp .

	Ref	Expression
Assertion	ccp	$$class{ℂ}_p$$