Registry · Remark V.R57 tau-effective not_applicable

V.R57 — Equivalence principle as theorem

The equivalence principle (gravitational mass = inertial mass) is not postulated but proved as a theorem in Category tau: kappa_tau is sigma-fixed, so the gravitational coupling is the same for all sector contributions regardless of their bipolar polarity.

Book V Part 2 Ch. 11

Lean Formalization

Module: