Gather a quotient of powers whose exponents a rewrite has already moved (#740) - #748

Aug 5, 2026

Gather a quotient of powers whose exponents a rewrite has already moved (#740)#748
Rafael-SOWNet merged 1 commit into
masterfrom
fix/gather-power-quotients

Gather a quotient of powers whose exponents a rewrite has already moved (#740)