Registry · Definition IV.D368 established skeleton

IV.D368 — Anomalous Magnetic Moment Definition

The anomalous magnetic moment a_ℓ = (g_ℓ−2)/2 of a charged lepton. For a structureless Dirac particle g=2 exactly; a_ℓ≠0 arises from virtual corrections to the electromagnetic vertex.

Book IV Part 2 Ch. 20

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.ElectronMass

Symbol: Tau.BookIV.QuantumMechanics.anomalous_moment_def