Title: Average neutralization and transverse stability in Isabelle
Subjects: Particle beams, Quantum electrodynamics