Determinantal descent in dimension two: the pencil determinant is a multiple of $x_1x_2-\rho x_0^2$

Initializing...

Determinantal descent in dimension two: the pencil determinant is a multiple of $x_1x_2-\rho x_0^2$ · Prove2Me