Registry · Proposition
IV.P377
tau-effective
not_formalized
IV.P377 — Unitary Evolution
The solution (t) = e^-iHt/(0) satisfies: equation \|(t)\| = \|(0)\| for all t. equation
Book IV
Part 2
Ch. 18
The solution (t) = e^-iHt/(0) satisfies: equation \|(t)\| = \|(0)\| for all t. equation