Database
REAL AND COMPLEX NUMBERS
Elementary limits and convergence
Bernoulli polynomials and sums of k-th powers
cbp
Next ⟩
df-bpoly
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cbp
Description:
Declare the constant for the Bernoulli polynomial operator.
Ref
Expression
Assertion
cbp
class BernPoly