Registry · Remark V.R342 tau-effective not_applicable

V.R342 — The chain of masses

Complete chain: m_e <-- R --> m_n <-- 1/iota_tau --> m_P; absolute value requires m_n anchor.

Book V Part 8 Ch. 70

Lean Formalization

Module: