Skip to content

Fix #344: remove division-style rules from the pow simplifier - #388

Merged
petlenz merged 3 commits into
mainfrom
fix-344-pow-division-rules
Jul 28, 2026
Merged

Fix #344: remove division-style rules from the pow simplifier#388
petlenz merged 3 commits into
mainfrom
fix-344-pow-division-rules

Commits

Commits on Jul 26, 2026