Metamath Proof Explorer


Syntax definition ccprob

Description: Extends class notation with the conditional probability builder.

Ref Expression
Assertion ccprob class cprob