Metamath Proof Explorer


Syntax definition cprime

Description: Extend the definition of a class to include the set of prime numbers.

Ref Expression
Assertion cprime
class Prime