Database
ELEMENTARY NUMBER THEORY
Elementary prime number theory
The prime count function
cpc
Next ⟩
df-pc
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cpc
Description:
Extend class notation with the prime count function.
Ref
Expression
Assertion
cpc
class
pCnt