Registry · Remark IV.R26 tau-effective not_applicable

IV.R26 — Lorentz Force as Geometric Deviation

A charged defect follows the straightest path in the EM gauge bundle total space; the Lorentz force is the projection of this gauge-bundle geodesic onto tau^3.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (1)

Lean Formalization

Module: