OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/LocalizedSpinOperator.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Actual one-body differential residual of each corrected spatial-spin mode.

  1. theorem OAI.ContinuumCoulomb.localizedSpinMode_C2 line 12
  2. theorem OAI.ContinuumCoulomb.localizedSpinResidual_operator line 22