Vector Space World Level 3/5 (scaling by -1) will not close with suggested `exact zero_smul_v K V v`

[JonBannon]

That simply regurgitates the same goal. Furthermore, zero_smul is not yet available otherwise.

[ZRTMRH]

I'm not able to reproduce the issue on my end. Could you please provide a screenshot? On my side, the goal closes successfully and zero_smul is visible in the right panel.