Registry · Proposition
IV.P277
tau-effective
not_formalized
IV.P277 — Energy as Tension Integral
The total energy of a configuration C on tau3 is: equation E[C] = _tau3 T(x) d(x), equation
Book IV
Part 2
Ch. 19