Registry · Definition IV.D101 tau-effective formalized

IV.D101 — Electric and Magnetic Field Extraction

Electric field E_i = F_0i and magnetic field B_i = (1/2)*epsilon_ijk*F_jk extracted from the field tensor by temporal-spatial decomposition.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (1)

IV.D111

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauMaxwell

Symbol: Tau.BookIV.Electroweak.ElectricAndMagneticFieldExtraction