Registry · Proposition IV.P48 tau-effective formalized

IV.P48 — Magnetic Force Does No Work

The magnetic component F_B = q v x B is perpendicular to velocity, so F_B dot v = 0: magnetic field changes direction but not speed.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (1)

IV.T50

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauMaxwell

Symbol: Tau.BookIV.Electroweak.MagneticForceDoesNoWork