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

State before:
θ θ' : ℝ
⊢ Rand.pdf' (flip θ) ↑(flip θ').μ = fun b => if b = true then θ / θ' else (1 - θ) / (1 - θ')
Tactic:
sorry
State after:
no goals