MonoidalCategories: Fix spacing in List ranges for Gap2Julia transpiler

[kamalsaleh]

Normalize [1 .. nr_summands] to [ 1 .. nr_summands ] in the distributivity helpers.

Bump version to v2026.07-03

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 80.76%. Comparing base (9e62bd3) to head (6a54fe0).

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1869   +/-   ##
=======================================
  Coverage   80.76%   80.76%           
=======================================
  Files         589      589           
  Lines       86321    86321           
=======================================
+ Hits        69720    69721    +1     
+ Misses      16601    16600    -1     

Flag	Coverage Δ
ActionsForCAP	64.04% <ø> (ø)
AdditiveClosuresForCAP	80.70% <ø> (ø)
AttributeCategoryForCAP	90.45% <ø> (ø)
CAP	86.37% <ø> (+<0.01%)	⬆️
CartesianCategories	84.25% <ø> (ø)
CompilerForCAP	95.39% <ø> (ø)
ComplexesAndFilteredObjectsForCAP	73.56% <ø> (ø)
FreydCategoriesForCAP	83.16% <ø> (ø)
GeneralizedMorphismsForCAP	61.73% <ø> (ø)
GradedModulePresentationsForCAP	44.78% <ø> (ø)
GroupRepresentationsForCAP	73.85% <ø> (ø)
GroupsAsCategoriesForCAP	90.90% <ø> (ø)
HomologicalAlgebraForCAP	73.21% <ø> (ø)
InternalExteriorAlgebraForCAP	93.09% <ø> (ø)
LinearAlgebraForCAP	56.00% <ø> (ø)
LinearClosuresForCAP	36.36% <ø> (ø)
ModulePresentationsForCAP	75.05% <ø> (ø)
ModulesOverLocalRingsForCAP	90.70% <ø> (ø)
MonoidalCategories	90.14% <100.00%> (ø)
ToricSheaves	21.79% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.