New lemmas: comp_idfunL, comp_idfunR.#1088

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

core-idfun-compEasyCrypt/easycrypt:core-idfun-compCopy head branch name to clipboard