`BookProof.DampedOscillatorEnergy.criticallyDamped_energy_strictAnti` : StrictAnti (dampedEnergy 1 (fun s => Real.exp (-s)) (fun s => -Real.exp (-s)))

Initializing...

`BookProof.DampedOscillatorEnergy.criticallyDamped_energy_strictAnti` : StrictAnti (dampedEnergy 1 (fun s => Real.exp (-s)) (fun s => -Real.exp (-s))) · Prove2Me