Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Probability
Conditional Probabilities
ccprob
Next ⟩
df-cndprob
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ccprob
Description:
Extends class notation with the conditional probability builder.
Ref
Expression
Assertion
ccprob
class
cprob