Rescaling all coefficients by a factor `t` with `|t - 1| ≤ γ₂` degrades a · Prove2Me

P

Initializing...

Rescaling all coefficients by a factor `t` with `|t - 1| ≤ γ₂` degrades a · Prove2Me