Metamath Proof Explorer


Syntax definition cbcc

Description: Extend class notation to include the generalized binomial coefficient operation.

Ref Expression
Assertion cbcc class C 𝑐