OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumUnitaryGround.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact unitary changes of basis preserve the actual finite ground energy.

  1. theorem OAI.ContinuumCoulomb.qmaUnitary_sandwich_form line 13
  2. theorem OAI.ContinuumCoulomb.qmaNormalizedBottom_unitary line 18