Database
ELEMENTARY NUMBER THEORY
Elementary prime number theory
Elementary properties
cprime
Next ⟩
df-prm
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cprime
Description:
Extend the definition of a class to include the set of prime numbers.
Ref
Expression
Assertion
cprime
class Prime