`BookProof.DampedOscillatorEnergy.criticallyDamped_hasDerivAt_pos` (t : ℝ) : HasDerivAt (fun s => Real.exp (-s)) (-Real.exp (-t)) t

Initializing...

`BookProof.DampedOscillatorEnergy.criticallyDamped_hasDerivAt_pos` (t : ℝ) : HasDerivAt (fun s => Real.exp (-s)) (-Real.exp (-t)) t · Prove2Me