Fix #346: fold duplicate mul factors instead of throwing - #400

Merged

petlenz merged 2 commits into

mainfrom

fix-346-mul-duplicate-factor

Jul 30, 2026

Commits on Jul 26, 2026

Fix #346: fold duplicate mul factors instead of throwing
petlenz
committed
90d8eb3
Review fixes on #346: fold duplicates in both operand orders
petlenz
committed
64eb402