Metamath Proof Explorer

Syntax definition crpm

Description: Syntax for the ring primes function.

Ref Expression
Assertion crpm 
class RPrime