Commit 2026-06-19 11:22 f6843317
View on Github →feat(Probability): add HasCondDistrib (#40291)
This PR adds a predicate that states that a random variable has a given conditional distribution given an other random variable.
From Lean Machine Learning.
Co-authored by: Paulo Rauber pauloeduardorauber@gmail.com