Skip to content
GitLab

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

Merged Robbert Krebbers requested to merge robbert/scalar_mult_assoc into master

This addresses #181 (closed)

Merge request reports