`BookProof.ShiftedQuadratic.deriv2_pgFunT_sec` (a k : Vd d) (i : Fin d) (p : MvPolynomial (Fin d) ℂ) (x : Vd d) : deriv (fun t : ℝ => deriv (fun s : ℝ => pgFunT a k p (sec i x s))

Initializing...

`BookProof.ShiftedQuadratic.deriv2_pgFunT_sec` (a k : Vd d) (i : Fin d) (p : MvPolynomial (Fin d) ℂ) (x : Vd d) : deriv (fun t : ℝ => deriv (fun s : ℝ => pgFunT a k p (sec i x s)) · Prove2Me