FSet library: subset is an operator rather than a predicate#3

strub merged 1 commit into

EasyCrypt:1.0EasyCrypt/easycrypt:1.0from

vbgl:subset-is-opvbgl/easycrypt:subset-is-opCopy head branch name to clipboard