Remove `left associativity` of `scalar_mult` to be compatible with math-comp.
Failed
Robbert Krebbers
created pipeline for commit
595fa03c
, finished
Related merge request !470 to merge robbert/scalar_mult_assoc
4 minutes 15 seconds, queued for 4 seconds