More efficient implementation of /, % and GCD#1258

felixwellen merged 4 commits into

agda:masteragda/cubical:masterfrom

LorenzoMolena:compatible-gcdLorenzoMolena/cubical:compatible-gcdCopy head branch name to clipboard