Added exact lemma for parameteriezed global hybrids.#991

alleystoughton wants to merge 1 commit intomainEasyCrypt/easycrypt:mainfrom

new-global-hybrid-lemmaEasyCrypt/easycrypt:new-global-hybrid-lemmaCopy head branch name to clipboard