Registry · Remark V.R103 tau-effective not_applicable

V.R103 — Planck mass as a derived quantity

The Planck mass m_P = sqrt(hbar c / G) is a derived quantity in tau: m_P = (m_n / iota_tau) * sqrt(1/(alpha^9 * chi kappa_n / 2)), connecting m_P to the neutron mass through the closing identity and the fine-structure constant raised to the ninth power.

Book V Part 2 Ch. 19

Lean Formalization

Module: