InnerProductWorld/level/3 sca_mul solution is available as a theorem

[balazs-endresz]

[ZRTMRH]

Thank you for pointing this out. I'll disable self calls in all levels.

[ZRTMRH]

I have disabled sca_mul and it's shown as blocked in the right panel. However it seems lean4game still allows the user to finish the level by apply sca_mul. I have posted a comment under a similar issue leanprover-community/lean4game#317.