Skip to content

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

Robbert Krebbers requested to merge robbert/scalar_mult_assoc into master

This addresses #181 (closed)

Merge request reports