mem_support_bernoulli_iff — Mathlib

English

For all b ∈ Bool, b ∈ bernoulli(p,h).support iff cond(b, p ≠ 0, p ≠ 1).

Русский

Для любого b ∈ Bool, b принадлежит поддержке Bernoulli(p,h) тогда и только тогда, когда cond(b, p ≠ 0, p ≠ 1).

LaTeX

$$$ b \in (\mathrm{bernoulli}(p,h)).\mathrm{support} \iff \operatorname{cond}(b, p \neq 0, p \neq 1) $$$

Lean4

theorem mem_support_bernoulli_iff : b ∈ (bernoulli p h).support ↔ cond b (p ≠ 0) (p ≠ 1) := by simp

Похожие утверждения