---

Step * of Lemma rv-disjoint-const

∀p:FinProbSpace. ∀n:ℕ. ∀X:RandomVariable(p;n). ∀a:ℚ.  rv-disjoint(p;n;a;X)
BY
{ Auto }

1
1. p : FinProbSpace
2. n : ℕ
3. X : RandomVariable(p;n)
4. a : ℚ
⊢ rv-disjoint(p;n;a;X)

---

Latex:

---

Latex:
\mforall{}p:FinProbSpace.  \mforall{}n:\mBbbN{}.  \mforall{}X:RandomVariable(p;n).  \mforall{}a:\mBbbQ{}.    rv-disjoint(p;n;a;X)


By

---

Latex:
Auto

---

Home Index