A newer version of the Streamlit SDK is available: 1.53.0
1.53.0
P(E) = favorable outcomes / total outcomes
P(A|B) = P(A ∩ B) / P(B)
P(A|B) = (P(B|A) × P(A)) / P(B)