pub fn poly_method_lb_ty() -> Expr
Polynomial method: deg(f) ≤ D(f) (approximate degree lower bounds)