Syntax definition crpm

Description: Syntax for the ring primes function.

	Ref	Expression
Assertion	crpm	class RPrime