[theories/modules] law of total probability#968

alleystoughton wants to merge 3 commits intomainEasyCrypt/easycrypt:mainfrom

total-probabilityEasyCrypt/easycrypt:total-probabilityCopy head branch name to clipboard