Skip to content
Snippets Groups Projects

Remove `left associativity` of `scalar_mult` to be compatible with math-comp.

Merged Robbert Krebbers requested to merge robbert/scalar_mult_assoc into master
Loading