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

Dependency Graph

Depends on (1)