`BookProof.ChapterEnergyBoundedEvolution.energyLimited_evol` {Emax : ℝ} (t : ℝ) (h : EnergyLimited E μ Emax f) : EnergyLimited E μ Emax (evol E t f)

Initializing...

`BookProof.ChapterEnergyBoundedEvolution.energyLimited_evol` {Emax : ℝ} (t : ℝ) (h : EnergyLimited E μ Emax f) : EnergyLimited E μ Emax (evol E t f) · Prove2Me