Registry · Proposition IV.P46 tau-effective formalized

IV.P46 — Current as Defect Transport

Spatial current density J(x) = sum_a q_a n_a(x) v_a(x) is the transport of charged defects along tau^1.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (1)

IV.D114

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauMaxwell

Symbol: Tau.BookIV.Electroweak.CurrentAsDefectTransport