Registry · Remark IV.R345 tau-effective not_applicable

IV.R345 — Why ``electromagnetic'' and not just ``electric''

In Category tau the B-sector is a single entity at E_1; the split into electric and magnetic aspects is a readout projection of boundary characters, making Maxwell's unification automatic rather than a historical achievement to be postulated separately.

Book IV Part 4 Ch. 26

Lean Formalization

Module: