Zulip Chat Archive
Stream: general
Topic: conditional probabilities
Pedro Castilho (Jan 05 2021 at 01:05):
Does anyone know if conditional probability is available in mathlib?
Yury G. Kudryashov (Jan 05 2021 at 03:55):
AFAIK, (almost) no probabilities are in mathlib.
Last updated: May 02 2025 at 03:31 UTC