Metamath Proof Explorer

Syntax definition cbp

Description: Declare the constant for the Bernoulli polynomial operator.

Ref Expression
Assertion cbp class BernPoly