Syntax definition crpm

Description: Syntax for the ring primes function.

	Ref	Expression
Assertion	crpm	$$class\mathrm{RPrime}$$