PolyReduceZp: use default clone overrides (<=) and drop redundant p param#1069

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

better-clones-poly-reduceEasyCrypt/easycrypt:better-clones-poly-reduceCopy head branch name to clipboard