New lemmas for stdlib. BitChunking: chunk_nil, chun_exact; List: mkseq2; DList: dmap_dlist_partial_perm.#942

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

lemmas-from-oramEasyCrypt/easycrypt:lemmas-from-oramCopy head branch name to clipboard