Registry · Theorem
IV.T236
tau-effective
not_formalized
IV.T236 — Bi-Rotation Energy Identity
Bi-rotation at speed c on a 2-torus gives rest-mass energy E = mc^2, independent of torus radii: equation E_bi-rot
Book IV
Part 1
Ch. 6