Registry · Proposition IV.P47 tau-effective formalized

IV.P47 — Photon-Wave Identity

The photon (quantized mode) and the EM wave (classical limit) are the same object at different scales: single excitation vs coherent superposition.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (2)

IV.D82 IV.T62

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauMaxwell

Symbol: Tau.BookIV.Electroweak.PhotonwaveIdentity