Metamath Proof Explorer


Syntax definition cchp

Description: Extend class notation with the second Chebyshev function.

Ref Expression
Assertion cchp
class psi