Metamath Proof Explorer


Syntax definition cbp

Description: Declare the constant for the Bernoulli polynomial operator.

Ref Expression
Assertion cbp
class BernPoly