[theories/modules] law of total probability#968

Merged

oskgo merged 6 commits intomainfrom

total-probability

Apr 13, 2026

Commits on Apr 13, 2026

[theories/modules] law of total probability

alleystoughton
authored and
strub
committed
fixed to work with just Z3

alleystoughton
authored and
strub
committed
used is_finite_for instead of new operator

alleystoughton
authored and
strub
committed
various improvements, per feedback

alleystoughton
authored and
strub
committed
Use `by` on closing tactics and bullet branches for maintainability
strub
committed
swap total_prob parameter, simplify proofs

fdupress
authored and
strub
committed