Skip to content

Assume commutative multiplication exactly when necessary#540

Draft
sethaxen wants to merge 25 commits intomainfrom commmul