Registry · Remark IV.R13 tau-effective not_applicable

IV.R13 — Physical Factor of Two

The density halving explains many factors of 2 or 1/2 in QM: spin-1/2, Pauli exclusion, Dirac factor 2, uncertainty 1/2. All from CR parity eliminating half the modes.

Book IV Part 3 Ch. 16

Dependency Graph

Depends on (2)

Lean Formalization

Module: