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

Initializing...

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