Theorem: Probly.flip.pdf (Probly/Flip.lean)

State before:
x : ℝ
hx : x ∈ Set.Icc 0 1
⊢ Rand.pdf' (flip x) Measure.count = fun b => if b = true then x else 1 - x
Tactic:
sorry
State after:
no goals