`BookProof.DampedOscillatorEnergy.criticallyDamped_isSolution` (t : ℝ) : (Real.exp (-t)) + 2 * (-Real.exp (-t)) + 1 ^ 2 * Real.exp (-t) = 0

Initializing...

`BookProof.DampedOscillatorEnergy.criticallyDamped_isSolution` (t : ℝ) : (Real.exp (-t)) + 2 * (-Real.exp (-t)) + 1 ^ 2 * Real.exp (-t) = 0 · Prove2Me