Fix order of multiplication in mixed-product rule

[dkarrasch]

Fixes #230.

[dkarrasch]

Something still doesn't work:

==> Running command '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov create-commit'
/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov create-commit --git-service github -C 0e54afa2f306328e927907ee96362dd8c03c5af1
info - 2024-06-24 17:24:46,082 -- ci service found: github-actions
warning - 2024-06-24 17:24:46,090 -- No config file could be found. Ignoring config.
info - 2024-06-24 17:24:46,196 -- Process Commit creating complete
error - 2024-06-24 17:24:46,196 -- Commit creating failed: {"detail":"You do not have permission to perform this action."}
==> Running command '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov create-report'
/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov create-report --git-service github -C 0e54afa2f306328e927907ee96362dd8c03c5af1
info - 2024-06-24 17:24:46,974 -- ci service found: github-actions
warning - 2024-06-24 17:24:46,982 -- No config file could be found. Ignoring config.
info - 2024-06-24 17:24:47,222 -- Process Report creating complete
error - 2024-06-24 17:24:47,222 -- Report creating failed: {"detail":"You do not have permission to perform this action."}
==> Running command '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov do-upload'
/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov do-upload -f lcov.info --git-service github -C 0e54afa2f306328e927907ee96362dd8c03c5af1
info - 2024-06-24 17:24:47,988 -- ci service found: github-actions
warning - 2024-06-24 17:24:47,998 -- No config file could be found. Ignoring config.
warning - 2024-06-24 17:24:48,002 -- xcrun is not installed or can't be found.
warning - 2024-06-24 17:24:48,006 -- No gcov data found.
warning - 2024-06-24 17:24:48,007 -- coverage.py is not installed or can't be found.
info - 2024-06-24 17:24:48,027 -- Found 1 coverage files to report
info - 2024-06-24 17:24:48,027 -- > /home/runner/work/LinearMaps.jl/LinearMaps.jl/lcov.info
info - 2024-06-24 17:24:48,098 -- Process Upload complete
error - 2024-06-24 17:24:48,098 -- Upload failed: {"detail":"You do not have permission to perform this action."}