define order on algR via copy#94

Tragicus wants to merge 2 commits into

math-comp:mastermath-comp/Abel:masterfrom

Tragicus:pr1169Tragicus/Abel:pr1169Copy head branch name to clipboard