Database
ELEMENTARY NUMBER THEORY
Elementary prime number theory
Primorial function
cprmo
Next ⟩
df-prmo
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cprmo
Description:
Extend class notation to include the primorial of nonnegative integers.
Ref
Expression
Assertion
cprmo
class
#
p