Skip to content

Decide a symbolic pivot before choosing it - #2350

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
a-symbolic-pivot-is-simplified-before-it-is-chosen
Nov 3, 2026
Merged

Rafael-SOWNet merged 1 commit into
masterfrom
a-symbolic-pivot-is-simplified-before-it-is-chosen