Registry · Proposition IV.P255 tau-effective not_formalized IV.P255 — Proton--Electron Complementarity The proton and electron occupy complementary regions of T^2: center 1.2 tabularlcc Book IV Part 1 Ch. 8