Skip to content

A quadratic with rational roots counts as two linears before the substitution search - #1827

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
a-rational-quadratic-with-rational-roots-counts-as-two-linears
Oct 9, 2026
Merged

A quadratic with rational roots counts as two linears before the substitution search#1827
Rafael-SOWNet merged 1 commit into
masterfrom
a-rational-quadratic-with-rational-roots-counts-as-two-linears

A quadratic with rational roots counts as two linears before the subs…

0d86191
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar