Skip to content

Do not simplify a substitution's quotient that still varies with x, which no rewriting can take out - #2035

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
do-not-simplify-a-quotient-that-still-varies-with-x-aj
Oct 22, 2026
Merged

Do not simplify a substitution's quotient that still varies with x, which no rewriting can take out#2035
Rafael-SOWNet merged 1 commit into
masterfrom
do-not-simplify-a-quotient-that-still-varies-with-x-aj

Do not simplify a substitution's quotient that still varies with x, w…

a803baf
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar