Description: Construct a function with given prime count characteristics. (Contributed by Mario Carneiro, 12-Mar-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | pcmpt.1 | |
|
pcmpt.2 | |
||
pcmpt.3 | |
||
pcmpt.4 | |
||
pcmpt.5 | |
||
Assertion | pcmpt | |